config.txt: move sequence.editor out of "core" part
[gitweb.git] / Documentation / push-config.txt
2018-09-12 config.txt: move push part out to a separate file