# HG changeset patch # User Jan Kanis # Date 1400593396 -7200 # Node ID 2015f1af96b4bae3cfc94a3855a7c31674e4ab70 # Parent 518580263e96f6849f4e4c2ef3df91cb4a154b42 add prior_installation_required flag diff -r 518580263e96 -r 2015f1af96b4 tool_dependencies.xml --- a/tool_dependencies.xml Tue May 20 15:22:28 2014 +0200 +++ b/tool_dependencies.xml Tue May 20 15:43:16 2014 +0200 @@ -30,15 +30,15 @@ - - -