diff options
-rw-r--r-- | debian/python3-gudhi.install (renamed from debian/python-gudhi.install) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/debian/python-gudhi.install b/debian/python3-gudhi.install index 22b018bc..22b018bc 100644 --- a/debian/python-gudhi.install +++ b/debian/python3-gudhi.install |