JAL-1859 adding "set hoverDelay 0.001;" to Jmol startup seems to improve
[jalview.git] / lib / Jmol-14.2.14_2015.06.11.jar
2015-06-26 gmungocJAL-1759 updates for Jmol 14.2.14_25.06.11