Mike Primm 88654fdf9d Add/fix more 1.13 blocks		2018-08-12 02:32:55 -05:00
..
org.eclipse.buildship.core.prefs	Merge dynmap-api into common dynmap	2018-08-11 23:42:08 -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