dot/gitconfig.in: Add explicit `pull' setting.
[profile] / bin / xduplic-terminal
2020-05-10 Mark Woodingbin/xduplic-terminal: New script: start terminals for...