diff options
author | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2017-03-03 08:42:09 +0000 |
---|---|---|
committer | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2017-03-03 08:42:09 +0000 |
commit | 78f3ee686f87c30b19320dc51ce3d611b764ee3c (patch) | |
tree | 79dc0fa194329974c3381ee0e638cc2f532dadc5 /src/debian/source/format | |
parent | f7082d14b1c30b1b5c15741aa4bc183695861d10 (diff) | |
parent | effc4723dfa2604c8c505b0dfff48b4cab8012ca (diff) |
Merge last trunk modifications
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/gudhi_doc_2.0.0@2140 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 7213c9eb7d01812a5dcf0133ca29cfdca6121519
Diffstat (limited to 'src/debian/source/format')
-rw-r--r-- | src/debian/source/format | 1 |
1 files changed, 0 insertions, 1 deletions
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) |