Jeremie Dimino a1812fccd5 Add INSIDE_DUNE to detect when we are running from unside Dune ... And use the following defaults: -j 1 --root . --display quiet		2018-04-03 11:43:07 +08:00
..
jbuild	Add an "executable" stanza and make it easier to install executables	2017-03-22 15:09:26 +00:00
main.ml	Add INSIDE_DUNE to detect when we are running from unside Dune	2018-04-03 11:43:07 +08:00
main.mli	added jbuilder extract-makefile	2017-05-18 19:05:01 +01:00