From c0d638468c920741ad6450bda878f2e5717ad5a3 Mon Sep 17 00:00:00 2001
From: chrahe <christian.rahe@uni-hamburg.de>
Date: Tue, 16 Nov 2021 03:52:37 +0100
Subject: [PATCH] nevermind...

---
 coderunner/checkstyle/config.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/coderunner/checkstyle/config.xml b/coderunner/checkstyle/config.xml
index ec3b985..01a5dd3 100644
--- a/coderunner/checkstyle/config.xml
+++ b/coderunner/checkstyle/config.xml
@@ -270,7 +270,6 @@
             <property name="allowedAnnotations" value="Override, Test"/>
             <property name="allowMissingParamTags" value="false" />
             <property name="allowMissingReturnTag" value="false" />
-            <property name="allowUnknownTags" value="false" />
             <property name="tokens" value="METHOD_DEF, CTOR_DEF, ANNOTATION_FIELD_DEF, COMPACT_CTOR_DEF"/>
         </module>
         <module name="JavadocContentLocationCheck">
-- 
GitLab