From cd580debb6d5da24f152efd32208ded22cc40267 Mon Sep 17 00:00:00 2001 From: Bob Lantz Date: Sat, 7 Jul 2012 22:29:46 -0700 Subject: [PATCH] Removed redundant debian/mininet.manpages --- debian/mininet.manpages | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/mininet.manpages 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