Jeremie Dimino 81bcd0f3e1 Add a "default" alias defined as follow: ... - if "default" is specified by the user explicitely, use this definition - otherwise assume the following definition: (alias (name default) (deps (alias_rec install))) Signed-off-by: Jeremie Dimino <jeremie@dimino.org>		2018-07-01 21:50:44 +01:00
..
dune	Make the set language more future proof (#930)	2018-06-29 21:11:47 +01:00
main.ml	Add a "default" alias defined as follow:	2018-07-01 21:50:44 +01: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