summaryrefslogtreecommitdiff
path: root/src/debian/docs
diff options
context:
space:
mode:
authorvrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2017-03-03 08:42:09 +0000
committervrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2017-03-03 08:42:09 +0000
commit78f3ee686f87c30b19320dc51ce3d611b764ee3c (patch)
tree79dc0fa194329974c3381ee0e638cc2f532dadc5 /src/debian/docs
parentf7082d14b1c30b1b5c15741aa4bc183695861d10 (diff)
parenteffc4723dfa2604c8c505b0dfff48b4cab8012ca (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/docs')
-rw-r--r--src/debian/docs2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/debian/docs b/src/debian/docs
deleted file mode 100644
index 878a2ba1..00000000
--- a/src/debian/docs
+++ /dev/null
@@ -1,2 +0,0 @@
-Conventions.txt
-README