ruff
[red-knot] Support untitled files in the server
#13044
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
[red-knot] Support untitled files in the server
#13044
dhruvmanila
merged 2 commits into
main
from
dhruv/lsp-virtual-file
dhruvmanila
added
ty
dhruvmanila
force pushed
from
f2920a9c
to
a2a75626
1 year ago
dhruvmanila
commented on 2024-08-22
dhruvmanila
commented on 2024-08-22
dhruvmanila
commented on 2024-08-22
dhruvmanila
marked this pull request as ready for review
1 year ago
dhruvmanila
requested a review
from
carljm
1 year ago
dhruvmanila
requested a review
from
MichaReiser
1 year ago
dhruvmanila
requested a review
from
AlexWaygood
1 year ago
MichaReiser
approved these changes on 2024-08-22
Base automatically changed from
dhruv/virtual-file
to
main
1 year ago
[red-knot] Support untitled files in the server
55af65da
Rename `path` -> `system_path` on `ChangeEvent`
4697f8b3
dhruvmanila
force pushed
from
a2a75626
to
4697f8b3
1 year ago
dhruvmanila
merged
cfe25ab4
into main
1 year ago
dhruvmanila
deleted the dhruv/lsp-virtual-file branch
1 year ago
Login to write a write a comment.
Login via GitHub
Reviewers
MichaReiser
carljm
AlexWaygood
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub