debian/docs
author Philipp Wiesemann <philipp.wiesemann@arcor.de>
Sat, 01 Jun 2013 21:09:36 +0200
changeset 7252 8ecb54eeaeec
parent 7222 2435b221d77d
permissions -rw-r--r--
Corrected indentation of license.
     1 BUGS.txt
     2 CREDITS.txt
     3 README.txt
     4 README-SDL.txt