diff options
Diffstat (limited to 'debian/libgudhi-dev.install')
| -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/ |