Create org.eclipse.ui.prefs

This commit is contained in:
s441433 2019-01-06 17:06:30 +01:00
parent a2f41fac67
commit 8b11873d66

View File

@ -0,0 +1,2 @@
eclipse.preferences.version=1
showIntro=false