Use same git-ignore for all projects.

uhafner · Mar 25, 2023 · faf0365 · faf0365
1 parent 2f65c88
commit faf0365
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6,395 deletions.
diff --git a/Jenkinsfile.coverage4 b/Jenkinsfile.coverage4