debian/docs
changeset 7222 2435b221d77d
parent 6886 55fc95e5817b
--- a/debian/docs	Sun May 26 12:30:52 2013 +0200
+++ b/debian/docs	Sun May 26 11:06:17 2013 -0700
@@ -1,4 +1,4 @@
-BUGS
-CREDITS
-README
+BUGS.txt
+CREDITS.txt
+README.txt
 README-SDL.txt