diff options
| author | Théo Zimmermann | 2018-08-21 08:52:17 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-21 08:52:17 +0200 |
| commit | 53eb027a6b9e1c3322db1750e613470e07407a81 (patch) | |
| tree | d11179b54ca96cf7ed5903c8b89c59402801f06a /dev/bugzilla2github_stripped.csv | |
| parent | 449c9384f93c5af82d58baf280c7c17accee86d2 (diff) | |
Trivial Sphinx fix in doc.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions