diff options
| author | slewis | 2009-02-04 00:07:00 +0000 |
|---|---|---|
| committer | slewis | 2009-02-04 00:07:00 +0000 |
| commit | b4229174f80b714e6d48606ac2de3d7fecafa831 (patch) | |
| tree | a20c54bde903a3412da4d3a9b555a52b9fe989c5 | |
| parent | ef387c0b4837f94ed126ad89c155f82d0abe612a (diff) | |
| download | org.eclipse.ecf-b4229174f80b714e6d48606ac2de3d7fecafa831.tar.gz org.eclipse.ecf-b4229174f80b714e6d48606ac2de3d7fecafa831.tar.xz org.eclipse.ecf-b4229174f80b714e6d48606ac2de3d7fecafa831.zip | |
Fixes to project settings to deal with bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=263537
| -rw-r--r-- | framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.core.prefs | 3 | ||||
| -rw-r--r-- | framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.launching.prefs | 3 |
2 files changed, 5 insertions, 1 deletions
diff --git a/framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.core.prefs b/framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.core.prefs index bea684bfd..4ffcd3a12 100644 --- a/framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.core.prefs +++ b/framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.core.prefs @@ -1,8 +1,9 @@ -#Tue Jan 20 13:07:56 CET 2009 +#Tue Feb 03 15:59:04 PST 2009 eclipse.preferences.version=1 org.eclipse.jdt.core.builder.cleanOutputFolder=clean org.eclipse.jdt.core.builder.duplicateResourceTask=warning org.eclipse.jdt.core.builder.invalidClasspath=abort +org.eclipse.jdt.core.builder.recreateModifiedClassFileInOutputFolder=ignore org.eclipse.jdt.core.builder.resourceCopyExclusionFilter=*.launch org.eclipse.jdt.core.circularClasspath=error org.eclipse.jdt.core.classpath.exclusionPatterns=enabled diff --git a/framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.launching.prefs b/framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.launching.prefs new file mode 100644 index 000000000..92a99c278 --- /dev/null +++ b/framework/bundles/org.eclipse.ecf.identity/.settings/org.eclipse.jdt.launching.prefs @@ -0,0 +1,3 @@ +#Tue Feb 03 15:59:04 PST 2009 +eclipse.preferences.version=1 +org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=ignore |