# 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
-