From a3167bd3b9e79c7aef93f84bde5ef499953d7565 Mon Sep 17 00:00:00 2001 From: Daniel Blankenberg Date: Tue, 20 Aug 2019 16:44:12 -0400 Subject: [PATCH] Update galaxy tool XSD. --- lib/galaxy/tool_util/xsd/galaxy.xsd | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/galaxy/tool_util/xsd/galaxy.xsd b/lib/galaxy/tool_util/xsd/galaxy.xsd index e12c94a134e..4e99440dc70 100644 --- a/lib/galaxy/tool_util/xsd/galaxy.xsd +++ b/lib/galaxy/tool_util/xsd/galaxy.xsd @@ -269,6 +269,11 @@ to provide access to graphical tools in real-time. This value defines the name of the entry point. + + + This value declares if domain-based proxying is required. Default is False. Currently only works when True. + +