- Revision 3439157: /plugin-kontakt/.settings

• ..
• org.eclipse.core.resources.prefs