summaryrefslogtreecommitdiff
path: root/debian/docs
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2013-07-14 17:18:36 -0700
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2013-07-14 17:18:43 -0700
commitec827dda505120f70c97077cda22081a906d275f (patch)
tree69144ec14739d7cdfe95a0d62ecd4f95ca5dd8e8 /debian/docs
parent834a3f2151dd8738a1f878489f6207664c4af5aa (diff)
Removed upstream’s debian directory
Diffstat (limited to 'debian/docs')
-rw-r--r--debian/docs4
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/docs b/debian/docs
deleted file mode 100644
index 4b7ab08..0000000
--- a/debian/docs
+++ /dev/null
@@ -1,4 +0,0 @@
-README
-ChangeLog
-COPYING
-AUTHORS