From b506451ff3a78c68e5b0b82e1c3dc3358d3fdac8 Mon Sep 17 00:00:00 2001 From: John Blum Date: Tue, 27 Apr 2021 11:53:07 -0700 Subject: [PATCH] Set Docs server hostname to docs-ip.spring.io. --- gradle.properties | 1 + 1 file changed, 1 insertion(+) diff --git a/gradle.properties b/gradle.properties index 5a59e1c..027670b 100644 --- a/gradle.properties +++ b/gradle.properties @@ -1,4 +1,5 @@ org.gradle.jvmargs=-Xmx2g -Dfile.encoding=UTF-8 +deployDocsHost=docs-ip.spring.io antlrVersion=2.7.7 apacheGeodeVersion=1.12.1 apacheTaglibsStandardVersion=1.2.5