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

eclipse.preferences.version=1
encoding//src/main/java=UTF-8
encoding//src/main/resources=UTF-8
encoding/<project>=UTF-8
Moved code into submodules 2018-09-04 12:12:41 +02:00			`eclipse.preferences.version=1`
			`encoding//src/main/java=UTF-8`
Fixed [^2] command and added GUI buttons to replace hardware ones on PCs 2018-09-11 19:19:24 +02:00			`encoding//src/main/resources=UTF-8`
Moved code into submodules 2018-09-04 12:12:41 +02:00			`encoding/<project>=UTF-8`