# HG changeset patch # User Bjoern Gruening # Date 1369613545 -7200 # Node ID 63b25d6468d43bf5c2b2f39cc7ce4624acdecb20 # Parent 6e8a2c3783802a09459e1c43c69e0d1f47ed1f8a and a new one, now with also with post-commit-hook diff -r 6e8a2c378380 -r 63b25d6468d4 tool_dependencies.xml --- a/tool_dependencies.xml Mon May 27 02:09:50 2013 +0200 +++ b/tool_dependencies.xml Mon May 27 02:12:25 2013 +0200 @@ -1,9 +1,9 @@ - + - + @@ -16,7 +16,7 @@ - +