diff options
author | Dani Megert | 2012-07-05 11:17:00 +0000 |
---|---|---|
committer | Dani Megert | 2012-07-05 11:17:00 +0000 |
commit | 7d1ace950d673be1f1b0991440a4d11e86d02b9c (patch) | |
tree | a315ee9ff6dffa701f445f88b605ad51ba4c160c /bundles/org.eclipse.compare.win32 | |
parent | 89abaa6f5d2de889ac809d81d969409130d2f0ba (diff) | |
download | eclipse.platform.team-7d1ace950d673be1f1b0991440a4d11e86d02b9c.tar.gz eclipse.platform.team-7d1ace950d673be1f1b0991440a4d11e86d02b9c.tar.xz eclipse.platform.team-7d1ace950d673be1f1b0991440a4d11e86d02b9c.zip |
Improved switch statement checkingv20120705-111700
Diffstat (limited to 'bundles/org.eclipse.compare.win32')
-rw-r--r-- | bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.core.prefs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.core.prefs b/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.core.prefs index 32a523dbe..185de0ba6 100644 --- a/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.core.prefs +++ b/bundles/org.eclipse.compare.win32/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,3 @@ -#Tue Feb 01 14:37:12 CET 2011 eclipse.preferences.version=1 org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning |