Create org.eclipse.ui.ide.prefs

This commit is contained in:
s441433 2019-01-06 17:06:25 +01:00
parent 70207b47a3
commit a2f41fac67

View File

@ -0,0 +1,6 @@
EXIT_PROMPT_ON_CLOSE_LAST_WINDOW=false
PROBLEMS_FILTERS_MIGRATE=true
eclipse.preferences.version=1
platformState=1546767529581
quickStart=false
tipsAndTricks=true