diff options
Diffstat (limited to 'debian/libgudhi-dev.install')
| -rw-r--r-- | debian/libgudhi-dev.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libgudhi-dev.install b/debian/libgudhi-dev.install index 47779640..953f5aab 100644 --- a/debian/libgudhi-dev.install +++ b/debian/libgudhi-dev.install @@ -1 +1 @@ -build/gudhi/include/gudhi/ usr/include/ +build/userversion/include/gudhi/ usr/include/ |