git.iko.soy/Idris-dev
on c79fb21 help sign in
history ofsrc/Idris/CmdOptions.hs
all commits
be0a480provide a new option, --ideslave-socket, for an ideslave listening on a socketHannes Mehnert a75bd0fMerge pull request #1280 from david-christiansen/testrunnerEdwin Brady e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen 3e614c9Added descriptions to Options parser for the 'help' flag.Jan de Muijnck-Hughes f08f83aFixed typo in CmdOptions to reinstate `--checkpkg`Jan de Muijnck-Hughes 9be5866started working on new cmd arg parserklrr