# HG changeset patch # User fubar # Date 1395277803 14400 # Node ID 78c04d9fe621ad60f1f3979c762812a897de101f # Parent 1fcf3fda325f814de3b3bc10768a2445e8ff345a Uploaded diff -r 1fcf3fda325f -r 78c04d9fe621 rgToolFactory.xml --- a/rgToolFactory.xml Wed Mar 19 21:06:28 2014 -0400 +++ b/rgToolFactory.xml Wed Mar 19 21:10:03 2014 -0400 @@ -3,7 +3,6 @@ ghostscript graphicsmagick - toolfact #if ( $__user_email__ not in $__admin_users__ ): diff -r 1fcf3fda325f -r 78c04d9fe621 tool_dependencies.xml --- a/tool_dependencies.xml Wed Mar 19 21:06:28 2014 -0400 +++ b/tool_dependencies.xml Wed Mar 19 21:10:03 2014 -0400 @@ -6,9 +6,7 @@ - Only Admins can use this tool generator but please do NOT install on a public facing Galaxy as it exposes unrestricted scripting as your Galaxy user -