Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Investigate projects/crates that are renamed/removed #6238

Open
mkaput opened this issue Aug 20, 2024 · 0 comments
Open

Investigate projects/crates that are renamed/removed #6238

mkaput opened this issue Aug 20, 2024 · 0 comments
Labels
ide This issue refers to CairoLS or editor extensions
Milestone
LS: New Project M...

Comments

@mkaput
Copy link
Contributor

mkaput commented Aug 20, 2024

Research how we should deal with projects/crates that are renamed/removed. What should happen regarding them in AnalysisDatabase inputs?
@mkaput mkaput added the ide This issue refers to CairoLS or editor extensions label Aug 20, 2024
@mkaput mkaput added this to the LS: New Project Model milestone Aug 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
ide This issue refers to CairoLS or editor extensions
Projects
CairoLS
Status: Todo
Milestone
LS: New Project Model
Development

No branches or pull requests
1 participant
@mkaput