Improve javadoc of "includes" and "excludes"#229

Merged

uschindler merged 3 commits intopoliceman-tools:mainfrom kwin:feature/improve-javadoc-of-include-excludes

May 20, 2023

+19-9

Commits on Apr 5, 2023

Improve javadoc of "includes" and "excludes"
kwin
committed

Commits on May 20, 2023