correction to basedpyright settings #19
softinio
commented 2024-08-31 09:37:45 -07:00
Owner
No description provided.
softinio
added 1 commit 2024-08-31 09:37:45 -07:00
correction to basedpyright settings
00741a1f18
softinio
merged commit c160396483 into main 2024-08-31 09:37:49 -07:00
softinio
deleted branch use-basedpyright-2 2024-08-31 09:37:49 -07:00
softinio
referenced this pull request from a commit 2024-08-31 09:37:51 -07:00
Merge pull request 'correction to basedpyright settings' (#19) from use-basedpyright-2 into main
Loading…
Reference in a new issue
No description provided.
Delete branch "use-basedpyright-2"
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?