replace pyright with basedpyright #18
softinio
commented 2024-08-31 09:14:05 -07:00
Owner
No description provided.
softinio
added 1 commit 2024-08-31 09:14:05 -07:00
replace pyright with basedpyright
4dccd81452
softinio
merged commit 6e87f6360a into main 2024-08-31 09:14:09 -07:00
softinio
deleted branch use-basedpyright 2024-08-31 09:14:10 -07:00
softinio
referenced this pull request from a commit 2024-08-31 09:14:10 -07:00
Merge pull request 'replace pyright with basedpyright' (#18) from use-basedpyright into main
Loading…
Reference in a new issue
No description provided.
Delete branch "use-basedpyright"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?