]> git.xonotic.org Git - xonotic/xonotic.git/commit
projects / xonotic / xonotic.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f10e29) | patch
try to handle the case if the branch has been remotely deleted in "push"
authorRudolf Polzer <divverent@alientrap.org>
Wed, 28 Apr 2010 14:30:51 +0000 (16:30 +0200)
committerRudolf Polzer <divverent@alientrap.org>
Wed, 28 Apr 2010 14:30:51 +0000 (16:30 +0200)
commita0e309ae13592c3b140c791d8f65c2edadbce220
tree059dfc342f627bcc927f26e701d6a61cb8e87ca7tree | snapshot
parent8f10e29d659231bc3ec3896fde9b1322c905ffa7commit | diff
try to handle the case if the branch has been remotely deleted in "push"
all diff | blob | history