chiark / gitweb /
wip changes for remote push
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 15 Sep 2013 12:28:21 +0000 (13:28 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 15 Sep 2013 12:28:21 +0000 (13:28 +0100)
commit251174a2cc06e0cd3041c0b97b9fc687902979fc
tree035570af43ed9e2ef9fabc1eb803b8cd6d662050
parent5ed00ff3ed9037f29a6718888525e32731947da2
wip changes for remote push
dgit