# HG changeset patch # User Gernot Belger # Date 1597329896 -7200 # Node ID c0803135455c2be42a648b03e1477412afe93f46 # Parent f4fdf7798bab2442a2befa56e685e1369c81fad8 Removed nonsensiscal cehckstyle options. diff -r f4fdf7798bab -r c0803135455c checkstyle.xml --- a/checkstyle.xml Wed Jul 15 14:25:53 2020 +0200 +++ b/checkstyle.xml Thu Aug 13 16:44:56 2020 +0200 @@ -7,7 +7,10 @@ + @@ -16,11 +19,13 @@ + @@ -71,10 +76,11 @@ +