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