This repository has been archived on 2020-09-21. You can view files and clone it, but cannot push or open issues or pull requests.
FRC2016-old/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs
2016-01-28 11:33:46 -05:00

6 lines
124 B
INI

PROBLEMS_FILTERS_MIGRATE=true
eclipse.preferences.version=1
platformState=1453993639562
quickStart=false
tipsAndTricks=true