]> git.xonotic.org Git - xonotic/xonotic.git/commitdiff
work around a bug in bash's implementation of "time"
authorRudolf Polzer <divverent@alientrap.org>
Sun, 7 Nov 2010 18:40:07 +0000 (19:40 +0100)
committerRudolf Polzer <divverent@alientrap.org>
Sun, 7 Nov 2010 18:40:07 +0000 (19:40 +0100)

No differences found