]> git.xonotic.org Git - xonotic/xonotic.git/commit
xonotic-map-compiler infrastructure script: allow running "from scratch".
authorRudolf Polzer <divVerent@xonotic.org>
Fri, 11 Oct 2019 16:41:47 +0000 (18:41 +0200)
committerRudolf Polzer <divVerent@xonotic.org>
Fri, 11 Oct 2019 16:41:47 +0000 (18:41 +0200)
commitd1c47472104b038ef3e73f300552def2bf49b6c6
tree1d363e43e19d491092326f3c6f21b718c2946b9a
parent33aa8d8b574de1dbd848e2051fc7552e2e9a53b3
xonotic-map-compiler infrastructure script: allow running "from scratch".
misc/infrastructure/xonotic-map-compiler.cron