shavit d0075a6115 Update WR deletion to properly delete new format replays.		2017-11-22 18:16:34 +02:00
..
configs	New replay bot format (#434) and some of #537	2017-11-21 11:28:57 +02:00
gamedata	Restructured files.	2017-10-24 01:05:09 +03:00
scripting	Update WR deletion to properly delete new format replays.	2017-11-22 18:16:34 +02:00
translations	Fixed checkpoint translation/speed.	2017-11-15 02:46:57 +02:00