Options

.settings

Name Revision Date Author
org.eclipse.core.resources.prefs 1.1 20 Nov 08 gnaegi
org.eclipse.jdt.core.prefs 1.1 20 Nov 08 gnaegi
org.eclipse.wst.validation.prefs 1.1 20 Nov 08 gnaegi