Jack Rainy d4ef5cb637 Map Editor UI improvements (#2462) ... * Better icons for "clear" tools * Map editor layout is reworked		2020-04-18 21:20:50 +03:00
..
src	Map Editor UI improvements (#2462)	2020-04-18 21:20:50 +03:00
build.gradle	Tutorials moved to a separate json file	2018-03-12 23:33:03 +02:00