# HG changeset patch # User davidvanzessen # Date 1380022253 14400 # Node ID 7970b9d7e1d204e08b8fd3beaecb3775b0572112 # Parent 7d2d47441b8408ac40a51512dbcd20c88c18d96a Uploaded diff -r 7d2d47441b84 -r 7970b9d7e1d2 tool_dependencies.xml --- a/tool_dependencies.xml Tue Sep 24 07:20:54 2013 -0400 +++ b/tool_dependencies.xml Tue Sep 24 07:30:53 2013 -0400 @@ -20,6 +20,8 @@ $INSTALL_DIR + +