Jeremie Dimino 3a86b3fefa Fix root finding ... Look for .opam files instead of .install ones...		2017-03-08 12:10:54 +00:00
..
jbuild	Remove build-package in favor of --only-packages	2017-03-02 18:21:19 +00:00
manual.org	Fix root finding	2017-03-08 12:10:54 +00:00
quick-start.org	Revert "Rename _build to _jbuild (#13)"	2017-03-01 16:09:02 +00:00