chiark / gitweb /
git: push default simple
authorIan Jackson <ian.jackson@eu.citrix.com>
Thu, 13 Sep 2018 16:43:00 +0000 (17:43 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Thu, 13 Sep 2018 16:43:00 +0000 (17:43 +0100)
commit2407690e399135f60f6ed8c2564e08962b95f383
treefb8a3df103a751638c292488382cdd772d8c0936
parentabb1e1f2a97a5c354d2cc6da2adb83ae6b66e338
git: push default simple
templates/gitconfig.in