From 3ddacb8af07ce09c68ebc6596c581242b00b555c Mon Sep 17 00:00:00 2001 From: glisse Date: Wed, 1 Mar 2017 15:40:37 +0000 Subject: 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 --- src/debian/source/format | 1 - 1 file changed, 1 deletion(-) delete mode 100644 src/debian/source/format (limited to 'src/debian/source/format') diff --git a/src/debian/source/format b/src/debian/source/format deleted file mode 100644 index 163aaf8d..00000000 --- a/src/debian/source/format +++ /dev/null @@ -1 +0,0 @@ -3.0 (quilt) -- cgit v1.2.3