diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-30 03:21:28 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-30 03:21:28 +0000 |
| commit | 6b9652eecc51b56ac0d0a63c079d52b3b3af0fff (patch) | |
| tree | 171402f9ff21fadcb0becfa416dad57d7fbb6562 /debian/patches/series | |
| parent | Adding debian version 7.2.6-7. (diff) | |
| download | sphinx-6b9652eecc51b56ac0d0a63c079d52b3b3af0fff.tar.xz sphinx-6b9652eecc51b56ac0d0a63c079d52b3b3af0fff.zip | |
Adding debian version 7.2.6-8.debian/7.2.6-8
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index c51c13a..3ec9d2b 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -10,3 +10,4 @@ support_old_search_indexes.diff docutils_manpage_macros.diff python_3.11.7.diff python_3.12.3.diff +reproducible_searchindex.diff |