os/debian/docs
changeset 1149 41fdfc5d7674
parent 285 e306da1c4ad1
child 1865 8f237a5b1a5f
--- 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