ada/startup-gen
0
0
Fork 0
mirror of https://github.com/AdaCore/startup-gen.git synced 2026-02-12 13:02:12 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
21.1
startup-gen/doc/source
History
Fabien Chouteau 03c592bf9a doc/source/index.rst: remove doctree options 
Not compatible with the sphinx version we use.
2020-09-09 12:52:19 +02:00
..
theme
Fix doc build scripts
2020-09-03 19:17:37 +02:00
conf.py
Fix doc build scripts
2020-09-03 19:17:37 +02:00
index.rst
doc/source/index.rst: remove doctree options
2020-09-09 12:52:19 +02:00