diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-05-18 19:14:40 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-05-18 19:14:40 +0200 |
commit | 332e7cf49db86a9cca6931126fd78a4a96fa5725 (patch) | |
tree | 341804fa75fcfc995097183d38b4d816cf7540d3 /debian/patches/0003-Disable-tests-that-use-DFSG-deleted-data-files.patch | |
parent | 99ae22a516b1227acc3dfd20df9946881442c86b (diff) |
Refresh patches.
Diffstat (limited to 'debian/patches/0003-Disable-tests-that-use-DFSG-deleted-data-files.patch')
-rw-r--r-- | debian/patches/0003-Disable-tests-that-use-DFSG-deleted-data-files.patch | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/patches/0003-Disable-tests-that-use-DFSG-deleted-data-files.patch b/debian/patches/0003-Disable-tests-that-use-DFSG-deleted-data-files.patch index 54c13639..4edf1caa 100644 --- a/debian/patches/0003-Disable-tests-that-use-DFSG-deleted-data-files.patch +++ b/debian/patches/0003-Disable-tests-that-use-DFSG-deleted-data-files.patch @@ -1,4 +1,3 @@ -From 9218bee33900e1e203991607e038f029a2216c3c Mon Sep 17 00:00:00 2001 From: Gard Spreemann <gspreemann@gmail.com> Date: Mon, 5 Feb 2018 10:15:40 +0100 Subject: [PATCH 3/5] Disable tests that use DFSG-deleted data files. @@ -106,6 +105,3 @@ index 7762c8a..c41898b 100644 + # "human.off" "100") endif (NOT CGAL_VERSION VERSION_LESS 4.8.1) --- -2.11.0 - |