Revision 19: /trunk/plugins/.settings

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