Skip to content

Feature/filter view#19

Merged
aurc merged 6 commits intomainfrom
feature/filter_view
Jul 31, 2022
Merged

Feature/filter view#19
aurc merged 6 commits intomainfrom
feature/filter_view

Conversation

@aurc
Copy link
Copy Markdown
Owner

@aurc aurc commented Jul 31, 2022

Enable local filter feature, plus several other improvements.

@aurc aurc merged commit ad00fd9 into main Jul 31, 2022
@aurc aurc deleted the feature/filter_view branch July 31, 2022 22:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant