Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
Joachim Breitner
|
54ed86852e
|
Switch to buildDunePackage, and remove redundancies
|
2018-12-01 17:46:29 +01:00 |
|
Joachim Breitner
|
7621523fc1
|
Add bisect_ppx and bisect_ppx-ocamlbuild
|
2018-11-30 12:57:01 +01:00 |
|