The following commit has been merged in the master branch:
commit 5a0a167344ae4dcc8a0fa30871e62cfb9ba0c9c5
Author: Felix Geyer <[email protected]>
Date:   Sun Feb 13 01:11:30 2011 +0100

    Rename man pages to warmux*.

diff --git a/debian/manpages/wormux-index-server.6 
b/debian/manpages/warmux-index-server.6
similarity index 100%
rename from debian/manpages/wormux-index-server.6
rename to debian/manpages/warmux-index-server.6
diff --git a/debian/manpages/wormux-server.6 b/debian/manpages/warmux-server.6
similarity index 100%
rename from debian/manpages/wormux-server.6
rename to debian/manpages/warmux-server.6

-- 
WarMUX PKG

_______________________________________________
Pkg-games-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-games-commits

Reply via email to