diff options
| author | Serge Cohen <serge1cohen@free.fr> | 2018-01-29 13:47:14 +0100 |
|---|---|---|
| committer | Picca Frédéric-Emmanuel <picca@debian.org> | 2019-12-08 20:40:25 +0100 |
| commit | 2e13f0bf82872225c60735183cb9b9eaaaf9d19b (patch) | |
| tree | 8982c2f17a39f6f0c586b2803e3fdec057ac3c02 /common | |
| parent | 1242c4aecf5ebc301c1d1b9c0fbe7c17542b1a9a (diff) | |
Deactivate sphinx_tabs extension.
Gbp-Pq: Name 0001-Deactivate-sphinx_tabs-extension.patch
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions