diff options
| author | defanor <defanor@uberspace.net> | 2017-12-19 02:43:21 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2017-12-19 02:43:21 +0300 |
| commit | 7f5d0b170099704d1a2016e2af1d9bfbde7ea1ad (patch) | |
| tree | 33a28920e6d60e73e154c8185e7318c473ec01d4 /pancake.cabal | |
| parent | 6e368bc36c603a23e57a5baa14556446a8603a8e (diff) | |
Enable a user to specify a configuration file
This covers both command-line options and the "load config" (former
"reload config") command.
Diffstat (limited to 'pancake.cabal')
0 files changed, 0 insertions, 0 deletions