X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=gradle.properties;h=08bcbd72436ba20af509935d8b3f9a5783769aa1;hb=refs%2Fheads%2Fbug%2FJAL-2830_editManglesDatasetSequence;hp=f5c6f494aa1ef2e98889bbe02311927e5632d8e2;hpb=2b6ae047456ecb0c470985ab65919c40de7f2c19;p=jalview.git diff --git a/gradle.properties b/gradle.properties index f5c6f49..08bcbd7 100644 --- a/gradle.properties +++ b/gradle.properties @@ -109,6 +109,6 @@ JSIGN_SH = echo eclipse_extra_jdt_prefs_file = .settings/org.eclipse.jdt.core.jalview.prefs -pandoc_exec = /usr/local/bin/pandoc +pandoc_exec = /usr/local/bin/pandoc,/usr/bin/pandoc dev = false