3 Commits

Author	SHA1	Message	Date
zv0n	58fd1a37a8	Mario: formatting	2022-07-21 20:17:24 +02:00
zv0n	4143af9962	Mario Editor: add save/load functionality	2022-07-21 19:26:50 +02:00
zv0n	92ffac0edf	Mario: add basic main menu to editor, separate scenes from main game loop	2022-06-26 15:13:06 +02:00