?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
connection should know work fine
[gsk.git] / GestureDetectionApp / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.ui.ide.prefs
blobc41b2abdafd0a0051e9cf182e2fc6f8a99fe82b0
1 #Thu May 26 21:57:09 CEST 2011
2 eclipse.preferences.version=1
3 tipsAndTricks=true
4 platformState=1269716927798
5 PROBLEMS_FILTERS_MIGRATE=true