JAL-3225 save auto formatting settings in org.eclipse.jdt.ui.prefs. Not yet put...
[jalview.git] / README_GRADLE_JALVIEWJS-2019-10-22.md
2019-10-22 Ben SoaresJAL-3210 Better integration with Eclipse as IDE. FIXED...
2019-10-22 Ben SoaresJAL-3210 project name explicitly set. updated README_GR...