# HG changeset patch # User jeremie # Date 1403870660 14400 # Node ID 40fc3681d624fa14e0fd6d7200392952d12e5ad2 # Parent 1ffd1bcc9eaa5f386821a1da97fc02ea0980433c Uploaded diff -r 1ffd1bcc9eaa -r 40fc3681d624 tool_dependencies.xml --- a/tool_dependencies.xml Fri Jun 27 07:59:15 2014 -0400 +++ b/tool_dependencies.xml Fri Jun 27 08:04:20 2014 -0400 @@ -4,7 +4,8 @@ - http://1i0suhtsif.1fichier.com/1_2_6.tgz + http://1i0suhtsif.1fichier.com/1_2_6.tgz + ls . $INSTALL_DIR/bin