]> source.dussan.org Git - gitignore.git/commitdiff
Merge branch 'github:main' into patch-1 4220/head
authorPatrick Prémartin <patrick.premartin@developpeur-pascal.fr>
Wed, 22 May 2024 08:15:06 +0000 (10:15 +0200)
committerGitHub <noreply@github.com>
Wed, 22 May 2024 08:15:06 +0000 (10:15 +0200)

Trivial merge