# HG changeset patch # User bgruening # Date 1404064373 14400 # Node ID 15697b5e3074a4948c4808f3c792b5709eacfd4b # Parent d852d0b557c1e7f8e7542cb58441fa67a9dc09c3 Uploaded diff -r d852d0b557c1 -r 15697b5e3074 tool_dependencies.xml --- a/tool_dependencies.xml Sun Jun 29 13:42:52 2014 -0400 +++ b/tool_dependencies.xml Sun Jun 29 13:52:53 2014 -0400 @@ -15,7 +15,7 @@ - $INSTALL_DIR + $INSTALL_DIR