Re: [TUHS] DEC filenames (was: Command-line options)