# HG changeset patch # User blanck # Date 1430127064 -7200 # Node ID 664bbe0378bd0a7c313e355b47c19b2e4770d644 # Parent 5a3b73fecec56ab0fb9337c3367c60611f07a8a4 correction diff -r 5a3b73fecec5 -r 664bbe0378bd tool_dependencies.xml --- a/tool_dependencies.xml Fri Apr 24 13:08:00 2015 +0200 +++ b/tool_dependencies.xml Mon Apr 27 11:31:04 2015 +0200 @@ -3,7 +3,7 @@ - + @@ -16,7 +16,7 @@ - +