# 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