chiark / gitweb /
wip changes for remote push - fixes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 9 Oct 2013 06:20:12 +0000 (07:20 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 9 Oct 2013 06:21:23 +0000 (07:21 +0100)
commit20d213b07642bab55c3727532696623cb74ecee6
treee4862bf3f5dc5e68a35b9f91396706cdf9da0390
parentbf3c1aff96cc631d7c3a41ff0e5a52d4574a13a8
wip changes for remote push - fixes
dgit