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