JAL-3371 remove unused field
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 19 Jul 2019 10:32:15 +0000 (11:32 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 19 Jul 2019 10:32:15 +0000 (11:32 +0100)
commit5d897ab765ce3b427d5ce230fc54d4f2a2d8e145
treeaef3f53ad8f4d68921f043c5470ace63a1fe66bd
parenta3d80544cd19436e1ee4abbcfa9befcc926784bf
JAL-3371 remove unused field
src/jalview/gui/OptsAndParamsPage.java