]> git.xonotic.org Git - xonotic/xonotic.git/commitdiff
save the options my build machine actually uses
authorRudolf Polzer <divverent@alientrap.org>
Thu, 17 Jun 2010 13:26:49 +0000 (15:26 +0200)
committerRudolf Polzer <divverent@alientrap.org>
Thu, 17 Jun 2010 13:26:49 +0000 (15:26 +0200)

No differences found