source.jalview.org Git - jalview.git/blob - utils/eclipse/org.eclipse.jdt.ui.prefs

git://source.jalview.org / jalview.git / blob

summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD

[jalview.git] / utils / eclipse / org.eclipse.jdt.ui.prefs

1 eclipse.preferences.version=1

2 cleanup.remove_redundant_type_arguments=false