diff options
author | defanor <defanor@uberspace.net> | 2017-12-18 08:21:09 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-12-18 08:23:43 +0300 |
commit | 6e368bc36c603a23e57a5baa14556446a8603a8e (patch) | |
tree | 2e742e400df1e84cb7197014045ab35194c3cd37 /pancake.cabal | |
parent | be0fce32fc99b26a3ae4e208fb2a244f441f3212 (diff) |
Read first command from command-line options
So that e.g. `pancake ddg something` can be invoked for a quick
search.
Also print option parsing error messages.
Diffstat (limited to 'pancake.cabal')
0 files changed, 0 insertions, 0 deletions