]> source.dussan.org Git - gitignore.git/commitdiff
Merge branch 'github:main' into main
authorPaul Meyer <49727155+katexochen@users.noreply.github.com>
Sun, 18 Jun 2023 18:01:59 +0000 (20:01 +0200)
committerGitHub <noreply@github.com>
Sun, 18 Jun 2023 18:01:59 +0000 (20:01 +0200)

Trivial merge