diff options
Diffstat (limited to 'packaging/debian/mana.docs')
-rw-r--r-- | packaging/debian/mana.docs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/packaging/debian/mana.docs b/packaging/debian/mana.docs deleted file mode 100644 index d622a5279..000000000 --- a/packaging/debian/mana.docs +++ /dev/null @@ -1,6 +0,0 @@ -AUTHORS -NEWS -README -ChangeLog -docs/progression.txt -docs/FAQ.txt |