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/no-external-doc-resources.patch | |
| parent | 009edf98b230b67763497f98d3e0f42617c3bfad (diff) | |
Patch for CGAL 4.12 compatibility.
Diffstat (limited to 'debian/patches/no-external-doc-resources.patch')
0 files changed, 0 insertions, 0 deletions