tree e9462052909aa6bd5ac35a7796e42f2b20f4de92
parent 85729d5640875380b1f7dfb58dc64d04219354c0
author Michael Stumpf <michael.stumpf@th-nuernberg.de> 1543486148 +0100
committer Michael Stumpf <michael.stumpf@th-nuernberg.de> 1543945188 +0100

[MJAVADOC-544] - Changed behaviour of Javadoc for options file encoding