diff options
| author | Jean-François B <jfbu@free.fr> | 2018-10-31 18:44:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-31 18:44:37 +0100 |
| commit | cc45e560a7c279946c047ad6b5cfe3e2777b0240 (patch) | |
| tree | 24072b67b0ea84b0f5ca14ba2148d9b3e32fc92d /doc/conf.py | |
| parent | a695099a1bf48c817ad8a13a69bbdfb13d5bd21a (diff) | |
| parent | d9ee41b86aadf8e56952f5c9b9a8989e4e8c44d7 (diff) | |
| download | sphinx-git-cc45e560a7c279946c047ad6b5cfe3e2777b0240.tar.gz | |
Merge branch '1.8' into 5561_remove_unneeded_xindy_option
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions