Jérémie Dimino 1860438605 Add a jbuilder transition package (#796) ... Signed-off-by: Jeremie Dimino <jeremie@dimino.org>		2018-05-28 18:19:30 +01:00
..
advanced-topics.rst	Fix typo	2018-05-21 21:29:18 +10:00
conf.py	Read The Docs	2017-05-15 11:53:55 -04:00
configurator.rst	Add Configurator.V1.write_flags	2018-04-17 16:07:38 +02:00
documentation.rst	Update documentation.rst (#656)	2018-03-27 10:54:09 -04:00
dune	Add a jbuilder transition package (#796)	2018-05-28 18:19:30 +01:00
dune.inc	Add a jbuilder transition package (#796)	2018-05-28 18:19:30 +01:00
faq.rst	Fix broken link	2018-05-14 12:56:47 +01:00
index.rst	Documentation for new configurator	2018-04-11 22:14:53 +07:00
jbuild.rst	Add ignored_subdirs stanza (#767)	2018-05-12 15:38:22 +02:00
known-issues.rst	Move FAQ & Known Issues to manual	2018-03-20 22:47:36 +08:00
overview.rst	Fix typos	2017-06-17 12:06:58 -04:00
project-layout-specification.rst	Add ignored_subdirs stanza (#767)	2018-05-12 15:38:22 +02:00
quick-start.rst	Add support for environment & build profiles (#419)	2018-05-04 16:49:25 +01:00
terminology.rst	Add support for environment & build profiles (#419)	2018-05-04 16:49:25 +01:00
tests.rst	typo	2018-03-18 19:17:15 -04:00
update-jbuild.sh	Add a jbuilder transition package (#796)	2018-05-28 18:19:30 +01:00
usage.rst	Add support for environment & build profiles (#419)	2018-05-04 16:49:25 +01:00