If the input CDROM is a file, check for the file.
[abcde.git] / KNOWN.BUGS
1 No serious ones ;)