Jeremie Dimino d4dec9b4f5 Change the default of --promote from check to copy ... As said in the PR. I forgot to push the commit.		2018-01-15 14:55:17 +00:00
..
jbuild	Add an "executable" stanza and make it easier to install executables	2017-03-22 15:09:26 +00:00
main.ml	Change the default of --promote from check to copy	2018-01-15 14:55:17 +00:00
main.mli	added jbuilder extract-makefile	2017-05-18 19:05:01 +01:00