diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-05-18 19:14:27 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-05-18 19:14:27 +0200 |
commit | 99ae22a516b1227acc3dfd20df9946881442c86b (patch) | |
tree | df9a3fb0fdfaf5bcb788a46d83887d0cda332d65 /debian/patches/series | |
parent | 009edf98b230b67763497f98d3e0f42617c3bfad (diff) |
Patch for CGAL 4.12 compatibility.
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
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 |