Daniel_M_Williams 82d5f871f0 [upgrade] Updated Eclipse buildfiles to use Java 1.8

2018-06-17 15:34:55 -04: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

[upgrade] Updated Eclipse buildfiles to use Java 1.8

2018-06-17 15:34:55 -04:00

org.eclipse.jdt.ui.prefs

[Major] Overhauled Configuration class to be more useful/ powerful.

2015-10-05 14:32:03 -04:00