]> git.r.bdr.sh - rbdr/mobius/commitdiff
Merge pull request #45 from jhalter/add_ignorefiles_option
authorJeff Halter <redacted>
Sun, 26 Jun 2022 03:53:36 +0000 (20:53 -0700)
committerGitHub <redacted>
Sun, 26 Jun 2022 03:53:36 +0000 (20:53 -0700)
Add config option to specify ignored filename patterns


Trivial merge