Skip to content
This repository was archived by the owner on Oct 8, 2025. It is now read-only.

feat: filter workspace symbols using query#32

Merged
mhanberg merged 1 commit into
mainfrom
2023-06-25-query-workspace-symbols
Jun 25, 2023
Merged

feat: filter workspace symbols using query#32
mhanberg merged 1 commit into
mainfrom
2023-06-25-query-workspace-symbols

feat: filter workspace symbols using query

a32684a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs