# HG changeset patch # User bgruening # Date 1380314340 14400 # Node ID 8b4f803b10d78f05641ce582cb617294649e70d9 # Parent d827b81fb4397953c251f3f30c52c972bd00de51 Uploaded diff -r d827b81fb439 -r 8b4f803b10d7 tool_dependencies.xml --- a/tool_dependencies.xml Fri Sep 27 16:38:21 2013 -0400 +++ b/tool_dependencies.xml Fri Sep 27 16:39:00 2013 -0400 @@ -10,8 +10,8 @@ - + + --> #set $cmd = './configure'