auto-"git remote prune origin" when ./all update'ing
authorRudolf Polzer <rpolzer@grawp.(none)>
Sun, 28 Mar 2010 18:55:16 +0000 (20:55 +0200)
committerRudolf Polzer <rpolzer@grawp.(none)>
Sun, 28 Mar 2010 18:55:16 +0000 (20:55 +0200)
commita870e86f2e720d051d480a8dd81bd502b04d0c41
tree7a549273d7f133ae066922233716427bc4b6d492
parent087dcc2f5c0e764fa3293a16bfcb48a7ced60357
auto-"git remote prune origin" when ./all update'ing
all