JAL-4421 Allow JSON config file to be options (no icon positioning for default or...

[jalview.git] / utils / channels / develop / channel_gradle.properties

diff --git a/utils/channels/develop/channel_gradle.properties b/utils/channels/develop/channel_gradle.properties
index b1d06d1..80e64d1 100644 (file)
--- a/utils/channels/develop/channel_gradle.properties
+++ b/utils/channels/develop/channel_gradle.properties
@@ -30,6 +30,7 @@ install4j_png_icon_file = jalview_develop_logo.png
 install4j_background = jalview_develop_logo_background_fade-640x480.png
 install4j_dmg_background = jalview_develop_dmg_background-72dpi.png
 install4j_dmg_ds_store = jalview_develop_dmg_DS_Store
+install4j_dmg_ds_store_json = jalview_develop_dmg_DS_Store.json
 install4j_dmg_volume_icon = jalview_develop-VolumeIcon.icns
 
 getdown_background_image_text_font = utils/fonts/Roboto.ttf