diff options
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index f4f57328..375aba2d 100644 --- a/debian/control +++ b/debian/control @@ -148,4 +148,4 @@ Description: Utilities from the GUDHI library by the European Research Council. . This package contains some utilities built with the GUDHI library. -
\ No newline at end of file + |