# HG changeset patch # User Tom Gottfried # Date 1516636946 -3600 # Node ID de423c2a3c1b8f1b559282b23ff150a6260744f6 # Parent f5fa2467f9c063217ee0d568c6aadbd2838b685b Checkstyle: define header inline. diff -r f5fa2467f9c0 -r de423c2a3c1b checkstyle.xml --- a/checkstyle.xml Mon Jan 22 16:59:03 2018 +0100 +++ b/checkstyle.xml Mon Jan 22 17:02:26 2018 +0100 @@ -17,8 +17,9 @@ - + diff -r f5fa2467f9c0 -r de423c2a3c1b java.header --- a/java.header Mon Jan 22 16:59:03 2018 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,7 +0,0 @@ -^/\* Copyright \(C\) .* by Bundesanstalt für Gewässerkunde$ -^ \* Software engineering by .*$ -^ \*$ -^ \* This file is Free Software under the GNU AGPL \(>=v3\)$ -^ \* and comes with ABSOLUTELY NO WARRANTY! Check out the$ -^ \* documentation coming with Dive4Elements River for details.$ -^ \*/$