Jindra Petřík 3c3a8545a5 Added #1864 Commandline: Allow to set special value "/dev/stdin" for input files to read from stdin (even on Windows)

2022-11-14 10:04:55 +01:00

..

com/jpexs

Added #1864 Commandline: Allow to set special value "/dev/stdin" for input files to read from stdin (even on Windows)

2022-11-14 10:04:55 +01:00