diff --git a/tools/tetyper/tetyper.xml b/tools/tetyper/tetyper.xml index cb1a65cbd78..cdbb6c42fea 100644 --- a/tools/tetyper/tetyper.xml +++ b/tools/tetyper/tetyper.xml @@ -8,6 +8,8 @@