AUTHORS
ChangeLog
FEEDBACK
README
debian/README.ROMs
doc/html/plain/64doc.txt
doc/html/plain/BUGS
doc/html/plain/cbm_basic_tokens.txt
doc/html/plain/drive_info.txt
doc/html/plain/NEWS
doc/html/plain/PETdoc.txt
doc/html/plain/serial.txt
doc/html/plain/TODO
