.. |
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
|
Update tests for new variables syntax
|
2018-06-28 09:48:35 +06:30 |
dune-files.rst
|
Add the lib_root and libexec_root install sections (#947)
|
2018-07-03 10:49:18 +01: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 |