diff --git a/catroid/config/lint.xml b/catroid/config/lint.xml index 997215bdfce..673d9d05480 100644 --- a/catroid/config/lint.xml +++ b/catroid/config/lint.xml @@ -1,7 +1,7 @@ + + + + + + + + + + + + + + + + +