Mike Primm 7bf0743c8c More 1.14 and 1.14.1 fixes		2019-05-14 19:51:42 -05:00
..
org.eclipse.buildship.core.prefs	More 1.14 and 1.14.1 fixes	2019-05-14 19:51:42 -05:00
org.eclipse.core.resources.prefs	Add/fix more 1.13 blocks	2018-08-12 02:32:55 -05:00
org.eclipse.jdt.core.prefs	Merge dynmap-api into common dynmap	2018-08-11 23:42:08 -05:00
org.eclipse.m2e.core.prefs	Cleanup directory structure	2018-08-11 23:27:52 -05:00