# HG changeset patch # User bgruening # Date 1382463243 14400 # Node ID e129907310c2f31b9744c79f65f747f2a3957392 # Parent 84b49cef3751b38a089c546a7474ed31c9dc0336 Uploaded diff -r 84b49cef3751 -r e129907310c2 tool_dependencies.xml --- a/tool_dependencies.xml Tue Oct 22 13:08:04 2013 -0400 +++ b/tool_dependencies.xml Tue Oct 22 13:34:03 2013 -0400 @@ -7,10 +7,12 @@ - - - - protk=1.2.4 + + + + + + protk=1.2.4