diff options
author | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2017-03-01 15:40:37 +0000 |
---|---|---|
committer | glisse <glisse@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2017-03-01 15:40:37 +0000 |
commit | 3ddacb8af07ce09c68ebc6596c581242b00b555c (patch) | |
tree | 0da3a20b96a691700e95c82e695fcb6b1921ea37 /src/debian/compat | |
parent | 18a13841ce995148b0c46a35ee9209626f6bf3d5 (diff) |
Remove Debian directory.
It will be handled separately in Debian.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@2124 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: e1b94bc17059f1bbaa88c1117e044d205efb5582
Diffstat (limited to 'src/debian/compat')
-rw-r--r-- | src/debian/compat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/debian/compat b/src/debian/compat deleted file mode 100644 index ec635144..00000000 --- a/src/debian/compat +++ /dev/null @@ -1 +0,0 @@ -9 |