]> git.xonotic.org Git - xonotic/xonotic.git/commit
actually, we need more than that
authorRudolf Polzer <divverent@xonotic.org>
Thu, 8 Aug 2013 12:00:10 +0000 (14:00 +0200)
committerRudolf Polzer <divverent@xonotic.org>
Thu, 8 Aug 2013 12:00:10 +0000 (14:00 +0200)
commitfa1309d2be73f5ec6446d258222c71662a25de38
tree94ec24c88e0b15949b9b93dc9360a418690c1060
parent17ffea374bd5be4a7a8f58ae272fa573d7c4fff1
actually, we need more than that
misc/tools/xonotic-map-compiler-optionsfile