Yair Morgenstern 3ea4f8bc82 Resolved #1420 - Menu in the map editor no longer opens multiple times on subsequent clicks		2019-12-06 10:12:16 +02:00
..
src	Resolved #1420 - Menu in the map editor no longer opens multiple times on subsequent clicks	2019-12-06 10:12:16 +02:00
build.gradle	Tutorials moved to a separate json file	2018-03-12 23:33:03 +02:00