diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2017-04-20 11:10:45 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2017-04-20 11:10:45 +0200 |
| commit | 8d7329f3e5ad843e553c3c5503cecc28ef2eead6 (patch) | |
| tree | 6d80d83a7c4bcd3296e12a28404bfe84ef84ed55 /debian/docs | |
| parent | 55c7181126aa7defce38c9b82872d14223d4c1dd (diff) | |
GUDHI 2.0.0 as released by upstream in a tarball.upstream/2.0.0
Diffstat (limited to 'debian/docs')
| -rw-r--r-- | debian/docs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/docs b/debian/docs deleted file mode 100644 index 878a2ba1..00000000 --- a/debian/docs +++ /dev/null @@ -1,2 +0,0 @@ -Conventions.txt -README |