Cristian Maglie dece2b4751 Update eclipse java-formatter settings		2015-03-27 14:51:11 +01:00
..
org.eclipse.jdt.core.prefs	Update eclipse java-formatter settings	2015-03-27 14:51:11 +01:00
org.eclipse.jdt.ui.prefs	Update to eclipse project files	2011-12-31 15:30:50 +01:00