| commit | 900d37364cddd048928900e9f4910ada6588cb09 | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Sun Apr 16 18:54:16 2006 +0000 |
| committer | david_williams <david_williams> | Sun Apr 16 18:54:16 2006 +0000 |
| tree | 31f5f309fe8a2187e3418dbe53a5ab754ecbc6f2 | |
| parent | 012e9dbc578ec3e8bded2aa277180b95f23fc4e9 [diff] [blame] |
updated default settings
diff --git a/bundles/org.eclipse.wst.sse.ui/.settings/org.eclipse.jdt.ui.prefs b/bundles/org.eclipse.wst.sse.ui/.settings/org.eclipse.jdt.ui.prefs index 5d9e4cf..ef2ac65 100644 --- a/bundles/org.eclipse.wst.sse.ui/.settings/org.eclipse.jdt.ui.prefs +++ b/bundles/org.eclipse.wst.sse.ui/.settings/org.eclipse.jdt.ui.prefs
@@ -1,6 +1,3 @@ -#Mon May 30 03:47:46 EDT 2005 +#Tue Apr 04 03:36:39 EDT 2006 eclipse.preferences.version=1 -internal.default.compliance=user -org.eclipse.jdt.ui.exception.name=e -org.eclipse.jdt.ui.gettersetter.use.is=true -org.eclipse.jdt.ui.overrideannotation=true +internal.default.compliance=default