Mike Primm cd63b78c67 Update settings files		2019-06-09 17:18:34 -05:00
..
org.eclipse.buildship.core.prefs	Update settings files	2019-06-09 17:18:34 -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