eclipse.preferences.version=1
encoding//src/Main.java=UTF-8
encoding//src/backend/AutoPlayer.java=UTF-8
encoding//src/backend/Board.java=UTF-8
encoding/<project>=windows-1252