]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #3689 from Udit8348/iar-technical-note
authorMartin Woodward <martinwoodward@github.com>
Fri, 7 May 2021 23:08:31 +0000 (00:08 +0100)
committerGitHub <noreply@github.com>
Fri, 7 May 2021 23:08:31 +0000 (00:08 +0100)

Trivial merge