Merge branch 'merge/develop_JAL-3725' into develop
[jalview.git] / utils / channels / default / resources / channel.props
index 4e6d27a..15b162f 100644 (file)
@@ -16,3 +16,4 @@ uod_banner.28=/images/UoD_banner-28.png
 uod_banner.30=/images/UoD_banner-30.png
 uod_banner.32=/images/UoD_banner-32.png
 default_appbase=https://www.jalview.org/getdown/release/1.8
+preferences.filename=.jalview_nonrelease_properties