Etienne Millon 628914fe28 Rename path to dep in dune files ... See #842 Signed-off-by: Etienne Millon <etienne@cryptosense.com>		2018-07-03 15:59:52 +02:00
..
advanced-topics.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
conf.py	s/jbuilder/dune/ in sphinx config	2018-07-02 18:39:23 +07:00
configurator.rst	Add Configurator.V1.write_flags	2018-04-17 16:07:38 +02:00
documentation.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
dune	Rename path to dep in dune files	2018-07-03 15:59:52 +02:00
dune-files.rst	Rename path to dep in dune files	2018-07-03 15:59:52 +02:00
dune.inc	Remove most useless parentheses from the syntax (#915)	2018-06-27 16:38:05 +01:00
faq.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
index.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
known-issues.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
menhir.rst	Give menhir its own section in the docs	2018-06-07 17:57:10 +07:00
migration.rst	Update table of renamed vars in docs	2018-07-02 18:37:13 +07:00
overview.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
project-layout-specification.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
quick-start.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
terminology.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
tests.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00
update-jbuild.sh	Remove most useless parentheses from the syntax (#915)	2018-06-27 16:38:05 +01:00
usage.rst	Rename jbuilder to dune in docs	2018-07-02 10:02:01 +02:00