]> git.xonotic.org Git - xonotic/xonotic.git/commitdiff
Merge remote-tracking branch 'origin/matthiaskrgr/all_grep'
authorRudolf Polzer <divverent@xonotic.org>
Sun, 16 Jun 2013 16:27:18 +0000 (18:27 +0200)
committerRudolf Polzer <divverent@xonotic.org>
Sun, 16 Jun 2013 16:27:18 +0000 (18:27 +0200)

Trivial merge