config.txt: move pull part out to a separate file
[gitweb.git] / Documentation / pull-config.txt
2018-09-12 config.txt: move pull part out to a separate file