diff options
author | Jani Nikula <jani@nikula.org> | 2013-03-03 23:55:10 +0200 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2013-03-08 07:54:53 -0400 |
commit | ed016e5670b715aea6750343aea698c38a7e7440 (patch) | |
tree | 0212cefff5de3f7c462f08b7547b441b9b3831c3 /man | |
parent | 4ef2106792439f5ade157b3ba3b8f7fa86fcb3ed (diff) |
cli: add top level --config=FILE option
Let the user specify the config file on the command line.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions