Jérémie Dimino da5c1a0c2e Rename private libraries and add a test to make sure we don't publicize too much (#1111) ... Signed-off-by: Jeremie Dimino <jeremie@dimino.org>		2018-08-09 10:03:06 +01:00
..
dune-impl	Rename private libraries and add a test to make sure we don't publicize too much (#1111)	2018-08-09 10:03:06 +01:00
jbuilder-impl	Rename private libraries and add a test to make sure we don't publicize too much (#1111)	2018-08-09 10:03:06 +01:00
dune	Rename private libraries and add a test to make sure we don't publicize too much (#1111)	2018-08-09 10:03:06 +01:00
which_program.boot.ml	Add Which_program to know whether we are dune or jbuilder	2018-06-28 11:23:10 +01:00
which_program.mli	Add Which_program to know whether we are dune or jbuilder	2018-06-28 11:23:10 +01:00