JAL-3210 Added jdt prefs from applet branch. Made IDE tasks more visible
[jalview.git] / optimization / timing-js-firefox-bh.txt
2019-01-25 hansonrTiming code