Rémi Verschelde 5b5471e30a
Merge pull request #78908 from zorbathut/pr_gitignore
Add static check for overzealous .gitignores and fix an example of such.
2023-08-29 12:41:53 +02:00
..
2022-06-15 23:02:14 +02:00
2023-06-16 08:45:35 +02:00