Jeremie Dimino 4aec06ee46 Better rules for finding the root		2017-03-10 10:41:34 +00:00
..
jbuild	Install the quick start guide	2017-03-09 12:02:26 +00:00
manual.org	Better rules for finding the root	2017-03-10 10:41:34 +00:00
quick-start.org	Fix doc: jbuilder build xxx instead of jbuilder xxx (#16)	2017-03-10 09:39:59 +00:00