# HG changeset patch # User bgruening # Date 1366896827 14400 # Node ID 95ed6d984eab981bb232b7f02720558e99261bc8 # Parent cd9c4741f8b2ca237753c102ca5caf5c972b151e Uploaded diff -r cd9c4741f8b2 -r 95ed6d984eab tool_dependencies.xml --- a/tool_dependencies.xml Thu Apr 25 09:30:40 2013 -0400 +++ b/tool_dependencies.xml Thu Apr 25 09:33:47 2013 -0400 @@ -9,6 +9,7 @@ $INSTALL_DIR/boost/ + $INSTALL_DIR/boost/lib/