summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index cc576f3b..adeb35f7 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,4 +5,3 @@
0005-Disable-Sphinx.patch
0006-Install-Python-module-in-correct-location.patch
0007-Move-towards-reproducible-builds.patch
-0008-Fix-building-with-CGAL-5.2.patch