]> git.ipfire.org Git - thirdparty/babel.git/commitdiff
Merge pull request #832 from akx/extract-ignore-dirs
authorAarni Koskela <akx@iki.fi>
Fri, 28 Jan 2022 11:50:04 +0000 (13:50 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Jan 2022 11:50:04 +0000 (13:50 +0200)
Implement directory filter for extract


Trivial merge