os/debian/docs
changeset 1865 8f237a5b1a5f
parent 1149 41fdfc5d7674
child 3170 dbbfd7a735ae
--- a/os/debian/docs	Sat May 28 09:29:36 2005 +0000
+++ b/os/debian/docs	Sat May 28 10:32:09 2005 +0000
@@ -2,4 +2,3 @@
 readme.txt
 docs/Manual.txt
 docs/multiplayer.txt
-known-bugs.txt