Merge branch 'develop' into Jalview-JS/develop
[jalview.git] / doc / patching-vaqua.txt
2018-09-07 Jim ProcterJAL-2988 JAL-2968 renamed patched VAqua5 to VAqua5...