summaryrefslogtreecommitdiff
path: root/docs/config_options.md
AgeCommit message (Expand)Author
2017-10-14Make arguments redo, subproject elimination (#1784)Jack Humbert
2017-06-28adds config options mdJack Humbert