os/debian/docs
changeset 1149 8384e8a07c4e
parent 285 cf5213c8a919
child 1865 739183b1243a
--- a/os/debian/docs	Mon Jan 24 21:39:16 2005 +0000
+++ b/os/debian/docs	Mon Jan 24 21:51:06 2005 +0000
@@ -2,3 +2,4 @@
 readme.txt
 docs/Manual.txt
 docs/multiplayer.txt
+known-bugs.txt