# HG changeset patch # User geert-vandeweyer # Date 1406557688 14400 # Node ID 4d719572fc9e190dcacd7826830f5019b8b5aacf # Parent c84329c23401b610340c17c0842fbadbe736cee1 Uploaded diff -r c84329c23401 -r 4d719572fc9e tool_dependencies.xml --- a/tool_dependencies.xml Mon Jul 28 10:12:52 2014 -0400 +++ b/tool_dependencies.xml Mon Jul 28 10:28:08 2014 -0400 @@ -15,12 +15,7 @@ - $INSTALL_DIR - - - - ./