pyright config change #17
softinio
commented 2024-08-30 23:26:25 -07:00
Owner
No description provided.
softinio
added 1 commit 2024-08-30 23:26:25 -07:00
pyright config change
889d7df0c7
softinio
merged commit f49357f038 into main 2024-08-30 23:26:30 -07:00
softinio
deleted branch pyright-tweaks 2024-08-30 23:26:30 -07:00
softinio
referenced this pull request from a commit 2024-08-30 23:26:30 -07:00
Merge pull request 'pyright config change' (#17) from pyright-tweaks into main
Loading…
Reference in a new issue
No description provided.
Delete branch "pyright-tweaks"
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?