# HG changeset patch # User iuc # Date 1408290151 14400 # Node ID 9383ac88d4264e932d3f55e121a8133d8a8818a8 # Parent a10ebb5a71bbdfc2e708b96667021ff60bfc6d5a Uploaded diff -r a10ebb5a71bb -r 9383ac88d426 tool_dependencies.xml --- a/tool_dependencies.xml Sun Aug 17 07:44:39 2014 -0400 +++ b/tool_dependencies.xml Sun Aug 17 11:42:31 2014 -0400 @@ -19,7 +19,7 @@ - https://raw.github.com/bgruening/gemini-versioned-install/master/gemini_install_0.9.1.py + https://raw.github.com/bgruening/gemini-versioned-install/master/gemini_install_0.9.1.py @@ -32,7 +32,7 @@ - python gemini_install.py $INSTALL_DIR $INSTALL_DIR --nosudo --nodata --notools + python gemini_install_0.9.1.py $INSTALL_DIR $INSTALL_DIR --nosudo --nodata --notools