diff -r b7ee0268325c -r dbbfd7a735ae os/debian/docs --- a/os/debian/docs Wed Mar 08 20:25:28 2006 +0000 +++ b/os/debian/docs Wed Mar 08 23:12:38 2006 +0000 @@ -1,4 +1,3 @@ -changelog.txt readme.txt docs/Manual.txt docs/multiplayer.txt