Merge branch 'Jalview-JS/JAL-3253-applet' of https://source.jalview.org/git/jalview...
[jalview.git] / unused / nonc /
2019-08-06 hansonrJAL-3383 JAL-3397 JAL-3253-applet IntervalStore options