diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 13:06:25 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 15:07:07 +0200 |
commit | 260c2de929460e6fb0ef3760db3d22d382585196 (patch) | |
tree | 79883779329f555ec62193700929d90067d9ecbe /debian | |
parent | 096aa68b400e9842dfb68dc93caa8776709b23f8 (diff) |
Drop CMake files that are no longer available.
Diffstat (limited to 'debian')
-rw-r--r-- | debian/libgudhi-dev.install | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/libgudhi-dev.install b/debian/libgudhi-dev.install index 3035131d..d9d02329 100644 --- a/debian/libgudhi-dev.install +++ b/debian/libgudhi-dev.install @@ -1,2 +1 @@ debian/tmp/usr/include/gudhi/ usr/include/ -debian/tmp/usr/share/gudhi/*.cmake usr/lib/cmake/gudhi/ |