diff --git a/debian/mininet.manpages b/debian/mininet.manpages deleted file mode 100644 index f7e585b..0000000 --- a/debian/mininet.manpages +++ /dev/null @@ -1 +0,0 @@ -*.1