Rudi Grinberg b4b7dde4f5 Add alias just to be sure ... Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>		2018-07-11 17:29:45 +02:00
..
dune	Make the set language more future proof (#930)	2018-06-29 21:11:47 +01:00
main.ml	Add alias just to be sure	2018-07-11 17:29:45 +02:00
main.mli	Add Which_program to know whether we are dune or jbuilder	2018-06-28 11:23:10 +01:00
main_dune.ml	Add Which_program to know whether we are dune or jbuilder	2018-06-28 11:23:10 +01:00
main_dune.mli	Add Which_program to know whether we are dune or jbuilder	2018-06-28 11:23:10 +01:00
main_jbuilder.ml	Add Which_program to know whether we are dune or jbuilder	2018-06-28 11:23:10 +01:00
main_jbuilder.mli	Add Which_program to know whether we are dune or jbuilder	2018-06-28 11:23:10 +01:00