DBVMSD - Revision 55: /.settings

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