Erenando 0ad5c47d6d Tutorial renamed		2023-03-29 17:14:24 +02:00
..
elements	Tutorial renamed	2023-03-29 17:14:24 +02:00
selection	increase delay of esc in levels	2023-03-29 16:36:26 +02:00
Level.py	Added pushable boxes.	2023-03-27 18:37:30 +02:00
LevelManager.py	Added winning check	2023-03-29 16:08:12 +02:00