..
advanced-topics.rst
Rename jbuilder to dune in docs
2018-07-02 10:02:01 +02: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
Rename jbuilder to dune in docs
2018-07-02 10:02:01 +02:00
dune
Update tests for new variables syntax
2018-06-28 09:48:35 +06:30
dune-files.rst
Rename jbuilder to dune in docs
2018-07-02 10:02:01 +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
Add migration page to manual
2018-06-25 15:07:28 +06:30
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