shavit ff31efeaf5 Merge branch 'master' into very_good_yes		2018-05-03 16:00:05 +03:00
..
configs	Copy missing style string in shavit-replay + docs	2018-05-03 12:35:32 +01:00
gamedata	Restructured files.	2017-10-24 01:05:09 +03:00
scripting	Merge branch 'master' into very_good_yes	2018-05-03 16:00:05 +03:00
translations	Added perfect jump% measuring for scroll styles.	2018-05-02 12:21:38 +03:00