Complements the documentation for pattern files and exclude files (#5520)#5850
Merged
ThomasWaldmann merged 1 commit into1.1-maintfrom Jun 16, 2021
unknown repository
Merged
Complements the documentation for pattern files and exclude files (#5520)#5850ThomasWaldmann merged 1 commit into1.1-maintfrom unknown repository
ThomasWaldmann merged 1 commit into1.1-maintfrom
unknown repository
Commits
Commits on Jun 16, 2021
- authored andcommitted
