diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2013-07-14 17:18:36 -0700 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-07-14 17:18:43 -0700 |
commit | ec827dda505120f70c97077cda22081a906d275f (patch) | |
tree | 69144ec14739d7cdfe95a0d62ecd4f95ca5dd8e8 /debian/docs | |
parent | 834a3f2151dd8738a1f878489f6207664c4af5aa (diff) |
Removed upstream’s debian directory
Diffstat (limited to 'debian/docs')
-rw-r--r-- | debian/docs | 4 |
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 |