core-jgi/plugins/pluginList/.settings
joergviola 3fa24305c7 Plugin for displaying plugins.
https://sourceforge.net/tracker/?func=detail&aid=2700937&group_id=176962&atid=879334
2010-03-17 19:49:56 +00:00
..
org.eclipse.jdt.core.prefs
org.eclipse.pde.core.prefs