From fa47b75c9113348aeb847ebfd08229c071c8f5c9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 19 Sep 2024 06:57:24 +0200 Subject: Merging debian version 7.4.7-2. Signed-off-by: Daniel Baumann --- debian/patches/series | 1 - 1 file changed, 1 deletion(-) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index f33bbe2..39c8d82 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,4 +5,3 @@ use_packaged_mathjax.diff skip_tests_serializinghtml.diff move_sphinxcontrib_to_extras_require.diff intersphinx_local.diff -docutils_manpage_macros.diff -- cgit v1.2.3