Merge pull request #407 from akosthekiss/gitignore-maintenance
authorMichel Pollet <github.com@pollet.net>
Tue, 13 Oct 2020 12:24:31 +0000 (13:24 +0100)
committerGitHub <noreply@github.com>
Tue, 13 Oct 2020 12:24:31 +0000 (13:24 +0100)
List git-ignored executables in one place


Trivial merge