Merge pull request #24057 from BKPepe/gitignore
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Thu, 23 May 2024 22:13:12 +0000 (00:13 +0200)
committerGitHub <noreply@github.com>
Thu, 23 May 2024 22:13:12 +0000 (00:13 +0200)
Introduce .gitignore


Trivial merge