config.txt: move user.* to a separate file
[gitweb.git] / Documentation / config / pretty.txt
2018-10-29 config.txt: move pretty.* to a separate file