WarpPI/teavm/.settings/org.eclipse.core.resources.prefs

eclipse.preferences.version=1
encoding//src/main/java=UTF-8
encoding//src/test/java=UTF-8
encoding/<project>=UTF-8
Updated to java 11 2018-09-28 13:43:42 +02:00			`eclipse.preferences.version=1`
			`encoding//src/main/java=UTF-8`
partial commit 2018-09-28 21:59:12 +02:00			`encoding//src/test/java=UTF-8`
Updated to java 11 2018-09-28 13:43:42 +02:00			`encoding/<project>=UTF-8`