Skip to content

Look up all of scope_id, def, and use exactly once#1159

Open
DavisVaughan wants to merge 1 commit intooak/jump-to-deffrom
oak/jump-to-def-davis-definitions
Open

Look up all of scope_id, def, and use exactly once#1159
DavisVaughan wants to merge 1 commit intooak/jump-to-deffrom
oak/jump-to-def-davis-definitions

Conversation

@DavisVaughan
Copy link
Copy Markdown
Contributor

@DavisVaughan DavisVaughan commented Apr 17, 2026

Merges into #1153

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