changeset 7016 | 65ca64810a94 |
parent 6990 | 136a08baf0ed |
child 7352 | 958170ce0a74 |
--- a/src/fileio.cpp Fri Jun 22 18:43:11 2007 +0000 +++ b/src/fileio.cpp Fri Jun 22 19:30:59 2007 +0000 @@ -532,6 +532,7 @@ /* The following characters are not allowed in filenames * on at least one of the supported operating systems: */ case ':': case '\\': case '*': case '?': case '/': + case '<': case '>': case '|': case '"': *filename = '_'; break; }