Andrea Cavalli ada6e552f6 Fixed [^2] command and added GUI buttons to replace hardware ones on PCs		2018-09-11 19:19:24 +02:00
..
org.eclipse.core.resources.prefs	Fixed [^2] command and added GUI buttons to replace hardware ones on PCs	2018-09-11 19:19:24 +02:00
org.eclipse.jdt.core.prefs	Moved code into submodules	2018-09-04 12:12:41 +02:00
org.eclipse.m2e.core.prefs	Moved code into submodules	2018-09-04 12:12:41 +02:00