Bump ignore from 0.4.18 to 0.4.20#7

dependabot[bot] wants to merge 1 commit into

maintrusted-programming/tree-grepper:mainfrom

dependabot/cargo/ignore-0.4.20trusted-programming/tree-grepper:dependabot/cargo/ignore-0.4.20Copy head branch name to clipboard