Allow the repo's default branch to differ from master.
authorRudolf Polzer <divverent@xonotic.org>
Sat, 30 Aug 2014 09:29:30 +0000 (11:29 +0200)
committerRudolf Polzer <divverent@xonotic.org>
Sat, 30 Aug 2014 09:29:30 +0000 (11:29 +0200)
commite4fdb51af95849173b80317f16351a5658122ac2
tree1c5e5631efea7dbd23fd373666514d29bc91139e
parent9787afd328b82a8fd80a50b292995d28ccf6e6e7
Allow the repo's default branch to differ from 
misc/tools/all/git.subr