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/Configuration.hs | |
| 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/Configuration.hs')
0 files changed, 0 insertions, 0 deletions