Browse Source

Polish eclipse settings

pull/252/head
Phillip Webb 12 years ago
parent
commit
0ac5a7595b
  1. 73
      eclipse/org.eclipse.jdt.ui.prefs

73
eclipse/org.eclipse.jdt.ui.prefs

File diff suppressed because one or more lines are too long
Loading…
Cancel
Save