feat: add filters.git_ignored (prev git.ignore), apply "Toggle Filter:" prefix to mapping descriptions#2325

Merged

alex-courtis merged 1 commit intomasterfrom

filters-gitignore

Jul 16, 2023

Commits on Jul 16, 2023

feat: add filters.git_ignored (prev git.ignore), apply "Toggle Filter:" prefix to mapping descriptions
alex-courtis
committed