summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorGard Spreemann <gspreemann@gmail.com>2018-05-18 19:14:27 +0200
committerGard Spreemann <gspreemann@gmail.com>2018-05-18 19:14:27 +0200
commit99ae22a516b1227acc3dfd20df9946881442c86b (patch)
treedf9a3fb0fdfaf5bcb788a46d83887d0cda332d65 /debian/patches/series
parent009edf98b230b67763497f98d3e0f42617c3bfad (diff)
Patch for CGAL 4.12 compatibility.
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index ca224839..6a2bbf20 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
0004-Use-system-MathJax.patch
0005-Don-t-set-runtime_library_dirs-for-the-Python-extens.patch
no-external-doc-resources.patch
+0007-CGAL-4.12-compatibility.patch