Skip to content

Exclusions: Hide default exclusions behind option in menu#1279

Merged
d4rken merged 1 commit into
mainfrom
exclusions-hide-defaults
Jul 8, 2024
Merged

Exclusions: Hide default exclusions behind option in menu#1279
d4rken merged 1 commit into
mainfrom
exclusions-hide-defaults

Conversation

@d4rken

@d4rken d4rken commented Jul 6, 2024

Copy link
Copy Markdown
Member

Little checkbox in the menu to hide default exclusions.

Little checkbox in the menu to hide default exclusions.
@d4rken d4rken added enhancement New feature, request, improvement or optimization c: Exclusions labels Jul 6, 2024
@d4rken
d4rken merged commit 8ddb542 into main Jul 8, 2024
@d4rken
d4rken deleted the exclusions-hide-defaults branch July 8, 2024 06:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

c: Exclusions enhancement New feature, request, improvement or optimization

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant