diff options
author | 2018-03-28 14:38:26 -0500 | |
---|---|---|
committer | 2018-03-28 20:38:26 +0100 | |
commit | 14a20f9f1de07e9be76e7603b550d7acc47ad719 (patch) | |
tree | f02e1c7c54291ad8e60ba27b0b9792faf0c7bd83 /util/.gitignore | |
parent | 72ab7172b8de822215cea644b148df5eacb8aa0a (diff) |
Add example configuration file (#216)
Add a configuration file with all options disabled that includes
all valid options and their description.
Diffstat (limited to 'util/.gitignore')
0 files changed, 0 insertions, 0 deletions