author | glx |
Fri, 22 Jun 2007 19:30:59 +0000 | |
changeset 7512 | 7889a88184c0 |
parent 7511 | ddbac631dc6d |
child 7513 | 0560e73def15 |
src/fileio.cpp | file | annotate | diff | comparison | revisions |
--- 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; }