Jeremie Dimino 0e6dda2032 Adapt the design of multi directory libraries ... Signed-off-by: Jeremie Dimino <jeremie@dimino.org>		2018-08-05 21:58:21 +03:00
..
test-cases	Adapt the design of multi directory libraries	2018-08-05 21:58:21 +03:00
cram.mll	Remvoe -skip-platforms from cram.mll	2018-07-31 13:47:46 +02:00
dune	Remvoe -skip-platforms from cram.mll	2018-07-31 13:47:46 +02:00
dune.inc	Add support for multi directory libraries and executables (#1034)	2018-08-01 15:23:26 +01:00
gen_tests.ml	Remvoe -skip-platforms from cram.mll	2018-07-31 13:47:46 +02:00