Merge branch 'releases/Release_2_11_1_4_debianpatches' into releases/Release_2_11_1_B...
[jalview.git] / utils / debian / etc / jalview_properties
2021-02-07 Jim ProcterJAL-3815 default /etc/jalview_properties under utils...