Commit Graph

3 Commits

Author SHA1 Message Date
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