ruff
7b31e1f8
- [ty] Rename internal completion `Rank` type to `Relevance`
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
34 days ago
[ty] Rename internal completion `Rank` type to `Relevance` I think "relevance" captures the meaning of this type more precisely.
Author
BurntSushi
Parents
b0cf353b
Loading