Jeremie Dimino 4b40cad247 Revert public_interfaces for now ... The code to support it is starting to become increasingly complicated and the number of problem found is a bit alarming. We'll reinclude it later after a bit more testing and hopefully some simplifications.		2017-07-21 17:32:39 +01:00
..
expect-tests	Fix build of tests with --dev	2017-06-09 12:45:05 +01:00
workspaces	Revert public_interfaces for now	2017-07-21 17:32:39 +01:00
jbuild	Revert public_interfaces for now	2017-07-21 17:32:39 +01:00
jbuild-ignore	re-arrange tests	2017-03-15 11:08:54 +00:00
run.ml	Fix #25	2017-03-15 15:44:27 +00:00