Vindex 77a9a8c445 Eclipse settings - all developers must import these to keep formatting		2015-12-31 18:11:18 +01:00
..
org.eclipse.jdt.core.prefs	Eclipse settings - all developers must import these to keep formatting	2015-12-31 18:11:18 +01:00
org.eclipse.jdt.ui.prefs	Eclipse settings - all developers must import these to keep formatting	2015-12-31 18:11:18 +01:00