summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2022-08-19 11:21:26 +0200
committerGard Spreemann <gspr@nonempty.org>2022-08-19 11:21:26 +0200
commit98c4b059533356dea8c76564f1c098d646ab273d (patch)
tree09e7e8a943cec788160ef1722907fb9a31a9ea89 /debian
parent07cdae61d128d9aea822554ee080509524cdafdd (diff)
Renumber patch
Diffstat (limited to 'debian')
-rw-r--r--debian/patches/0005-CGAL-5.5-compatibility.patch (renamed from debian/patches/0006-CGAL-5.5-compatibility.patch)0
-rw-r--r--debian/patches/series2
2 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0006-CGAL-5.5-compatibility.patch b/debian/patches/0005-CGAL-5.5-compatibility.patch
index 949b5e4d..949b5e4d 100644
--- a/debian/patches/0006-CGAL-5.5-compatibility.patch
+++ b/debian/patches/0005-CGAL-5.5-compatibility.patch
diff --git a/debian/patches/series b/debian/patches/series
index c3448dab..1c41a910 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,4 +2,4 @@
0002-Use-system-MathJax.patch
0003-Offline-header-for-docs.patch
0004-Disable-Sphinx.patch
-0006-CGAL-5.5-compatibility.patch
+0005-CGAL-5.5-compatibility.patch