JAL-3225 All of .settings now gitignored. org.eclipse...prefs made by buildship or...

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index 81674e4..ace0303 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -147,7 +147,7 @@ bamboo_channelbase = https://builds.jalview.org/browse
 bamboo_planKey = 
 bamboo_getdown_channel_suffix = /latest/artifact/shared/getdown-channel
 
-eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs
+eclipse_extra_jdt_prefs_file = utils/eclipse/org.eclipse.jdt.core.jalview.prefs
 eclipse_project_name = jalview
 eclipse_bin_dir = bin
 eclipse_debug = false