# HG changeset patch # User jeremie # Date 1403862540 14400 # Node ID 1218b14e265d99d8e37ebfdeca8a007943b35f97 # Parent d2437fabfe7db71164f06d735f48708a202d1d6f Uploaded diff -r d2437fabfe7d -r 1218b14e265d tool_dependencies.xml --- a/tool_dependencies.xml Fri Jun 27 05:31:36 2014 -0400 +++ b/tool_dependencies.xml Fri Jun 27 05:49:00 2014 -0400 @@ -3,7 +3,13 @@ - + https://www.dropbox.com/s/6fpm0vqmn0vu5m2/1_2_6.tar.gz?dl=1 + + + bin + $INSTALL_DIR/bin + +