From bb17d76d586cb955e213e0bc9298da067f80e45c Mon Sep 17 00:00:00 2001 From: Matthias Bernt Date: Thu, 7 Dec 2023 17:15:13 +0100 Subject: [PATCH] some fixes for xsd --- lib/galaxy/tool_util/xsd/galaxy.xsd | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/lib/galaxy/tool_util/xsd/galaxy.xsd b/lib/galaxy/tool_util/xsd/galaxy.xsd index 4994e5e7b7ee..513018abd195 100644 --- a/lib/galaxy/tool_util/xsd/galaxy.xsd +++ b/lib/galaxy/tool_util/xsd/galaxy.xsd @@ -115,8 +115,7 @@ the tool menu immediately following the hyperlink for the tool (based on the - - + @@ -269,6 +268,11 @@ is ``data_source`` - this attribute defines the HTTP request method to use when communicating with an external data source application (the default is ``get``). + + + + + @@ -2980,10 +2984,10 @@ between paired inputs of single stranded inputs. - + - + Name for this element