diff options
Diffstat (limited to 'opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs')
| -rw-r--r-- | opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs b/opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs new file mode 100644 index 000000000..119bdeca9 --- /dev/null +++ b/opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs @@ -0,0 +1,6 @@ +#Thu Nov 10 17:56:55 EST 2011 +eclipse.preferences.version=1 +TASKS_FILTERS_MIGRATE=true +tipsAndTricks=true +platformState=1318629149040 +quickStart=true |