From 7dfd7e0390178bea75557c893330d33c493dff95 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 5 Jun 2024 18:21:14 +0200 Subject: Merging debian version 7.3.7-1. Signed-off-by: Daniel Baumann --- debian/patches/series | 5 ----- 1 file changed, 5 deletions(-) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 3ec9d2b..f33bbe2 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,4 +1,3 @@ -skip_tests_network.diff no_external_css.diff remove_contrib_references.diff skip_tests_jsmath.diff @@ -6,8 +5,4 @@ use_packaged_mathjax.diff skip_tests_serializinghtml.diff move_sphinxcontrib_to_extras_require.diff intersphinx_local.diff -support_old_search_indexes.diff docutils_manpage_macros.diff -python_3.11.7.diff -python_3.12.3.diff -reproducible_searchindex.diff -- cgit v1.2.3