debian/docs
changeset 7222 2435b221d77d
parent 6886 55fc95e5817b
     1.1 --- a/debian/docs	Sun May 26 12:30:52 2013 +0200
     1.2 +++ b/debian/docs	Sun May 26 11:06:17 2013 -0700
     1.3 @@ -1,4 +1,4 @@
     1.4 -BUGS
     1.5 -CREDITS
     1.6 -README
     1.7 +BUGS.txt
     1.8 +CREDITS.txt
     1.9 +README.txt
    1.10  README-SDL.txt