Mike Primm 997ff1b0db 1.13.2 build fix		2019-12-22 18:15:35 -06:00
..
org.eclipse.buildship.core.prefs	1.13.2 build fix	2019-12-22 18:15:35 -06:00
org.eclipse.core.resources.prefs	Cleanup directory structure	2018-08-11 23:27:52 -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