-
Matthias Kretz authored
ChangeLog: * README.md: Document Usage * run.sh: Add --help, -std, and -O flags. Allow any argument order. Better error reporting. Allow calling from any working dir.
387509fbMatthias Kretz authoredChangeLog: * README.md: Document Usage * run.sh: Add --help, -std, and -O flags. Allow any argument order. Better error reporting. Allow calling from any working dir.
Loading