eclipse.preferences.version=1
encoding//src/Main.py=utf-8
encoding//src/api/Game.py=utf-8
encoding//src/api/GameState.py=utf-8
encoding//src/api/Math.py=utf-8
encoding//src/api/Mouse.py=utf-8
encoding//src/api/MultiLabel.py=utf-8
encoding//src/api/Sprite.py=utf-8
encoding//src/api/Vector.py=utf-8
encoding//src/assets/data/area1game3_data.py=utf-8
encoding//src/game/Area1Game1.py=utf-8
encoding//src/game/Area1Game3.py=utf-8
encoding//src/game/Area1Game6.py=utf-8
encoding//src/game/Area1Game7.py=utf-8
encoding//src/game/Area2Game2.py=utf-8
encoding//src/game/CreditsState.py=utf-8
encoding//src/game/HallState.py=utf-8
encoding//src/game/MenuState.py=utf-8
encoding//src/game/PresentationState.py=utf-8
encoding//src/game/SelectAreaState.py=utf-8