Jeremie Dimino 294d693749 Do not load the user configuration file when INSIDE_DUNE is set		2018-04-12 12:43:14 +01:00
..
jbuild	Add an "executable" stanza and make it easier to install executables	2017-03-22 15:09:26 +00:00
main.ml	Do not load the user configuration file when INSIDE_DUNE is set	2018-04-12 12:43:14 +01:00
main.mli	added jbuilder extract-makefile	2017-05-18 19:05:01 +01:00