diff options
author | Peter Bock <post@peterbb.net> | 2017-09-29 06:26:25 +0200 |
---|---|---|
committer | Peter Bock <post@peterbb.net> | 2017-09-29 06:26:25 +0200 |
commit | 73fd5266bf7c1f05beb830c71107342c3a7be9c0 (patch) | |
tree | aeb6934a9492afb8abe1c2ace5dd3c634a687393 /tests/ffi_eff.urs | |
parent | 3bf011c2beb733062e6e94b545242ff0105a1402 (diff) |
new flag -help, and refactoring of flag parsing.
Diffstat (limited to 'tests/ffi_eff.urs')
0 files changed, 0 insertions, 0 deletions