summaryrefslogtreecommitdiffstats
path: root/webkitTest/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs
diff options
context:
space:
mode:
authorJonathan Bauer2011-01-25 17:16:40 +0100
committerJonathan Bauer2011-01-25 17:16:40 +0100
commit39e919c5b915934a81a1fa5143df813d3dda801b (patch)
tree209e19bbe43ae738a127a61ef69ea70b528dc0a8 /webkitTest/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs
parentfbgui.o removed (diff)
downloadfbgui-39e919c5b915934a81a1fa5143df813d3dda801b.tar.gz
fbgui-39e919c5b915934a81a1fa5143df813d3dda801b.tar.xz
fbgui-39e919c5b915934a81a1fa5143df813d3dda801b.zip
updated
Diffstat (limited to 'webkitTest/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs')
-rw-r--r--webkitTest/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs6
1 files changed, 0 insertions, 6 deletions
diff --git a/webkitTest/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs b/webkitTest/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs
deleted file mode 100644
index 6036702..0000000
--- a/webkitTest/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs
+++ /dev/null
@@ -1,6 +0,0 @@
-#Wed Jan 12 12:09:09 CET 2011
-eclipse.preferences.version=1
-tipsAndTricks=true
-platformState=1294238342918
-quickStart=false
-PROBLEMS_FILTERS_MIGRATE=true