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, 0 insertions, 6 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 deleted file mode 100644 index 119bdeca9..000000000 --- a/opensuse/core/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs +++ /dev/null @@ -1,6 +0,0 @@ -#Thu Nov 10 17:56:55 EST 2011 -eclipse.preferences.version=1 -TASKS_FILTERS_MIGRATE=true -tipsAndTricks=true -platformState=1318629149040 -quickStart=true |