kruland2607 9db83259dc Start using Java 1.7.

2015-01-09 21:33:16 -06:00

..

org.eclipse.core.resources.prefs

moving .settings/ to core/

2012-01-08 02:13:36 +00:00

org.eclipse.core.runtime.prefs

moving .settings/ to core/

2012-01-08 02:13:36 +00:00

org.eclipse.jdt.core.prefs

Start using Java 1.7.

2015-01-09 21:33:16 -06:00

org.eclipse.jdt.ui.prefs

Project-specific code style formatting

2013-01-06 21:45:02 +02:00