# HG changeset patch # User fcaramia # Date 1371452400 14400 # Node ID 8c16a08d48e1e7df26aed1b5671cf896e6a4c37e # Parent 35ed124594a6662490b400cfa08b0073f7cab6ef Uploaded diff -r 35ed124594a6 -r 8c16a08d48e1 tool_dependencies.xml --- a/tool_dependencies.xml Mon Jun 17 02:56:36 2013 -0400 +++ b/tool_dependencies.xml Mon Jun 17 03:00:00 2013 -0400 @@ -54,7 +54,7 @@ rm -rf CONTRA_User_Guide.2.0.pdf $INSTALL_DIR/bin - contra.y + contra.py $INSTALL_DIR/bin