Ignore user ui prefs.
This commit is contained in:
parent
c0d66eda17
commit
f726c3bfca
|
@ -0,0 +1 @@
|
|||
org.eclipse.jdt.ui.prefs
|
Loading…
Reference in New Issue