# HG changeset patch # User bgruening # Date 1380314356 14400 # Node ID 7473992d1f38d2ca015986e0e80e61de02791c8c # Parent 8ff8db788041ba8101b9d2e1a73aa9e9262e29eb Uploaded diff -r 8ff8db788041 -r 7473992d1f38 tool_dependencies.xml --- a/tool_dependencies.xml Fri Sep 27 16:37:48 2013 -0400 +++ b/tool_dependencies.xml Fri Sep 27 16:39:16 2013 -0400 @@ -10,8 +10,8 @@ - + + --> #set $cmd = './configure'