diff --git a/tools/halfdeep/halfdeep.xml b/tools/halfdeep/halfdeep.xml index db29477d589..12bd24953de 100644 --- a/tools/halfdeep/halfdeep.xml +++ b/tools/halfdeep/halfdeep.xml @@ -5,6 +5,10 @@