src/Pure/System/getopts.scala
Sat, 27 Feb 2016 16:19:02 +0100 wenzelm support for command-line options as in GNU bash;
less more (0) tip