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.

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

VSCode plugin docs: Navigation #39063

Closed
IMS94 opened this issue Dec 15, 2022 · 2 comments
Closed

VSCode plugin docs: Navigation #39063

IMS94 opened this issue Dec 15, 2022 · 2 comments
Assignees
Labels
Points/1 Equivalent to one day effort Team/LanguageServer Language Server Implementation related issues. #Compiler Type/Task

Comments

@IMS94
Copy link
Contributor

IMS94 commented Dec 15, 2022

No description provided.

@IMS94 IMS94 added Type/Task Team/LanguageServer Language Server Implementation related issues. #Compiler labels Dec 15, 2022
@IMS94 IMS94 self-assigned this Dec 15, 2022
@IMS94 IMS94 added the Points/1 Equivalent to one day effort label Dec 15, 2022
@IMS94
Copy link
Contributor Author

IMS94 commented Jan 3, 2023

@IMS94
Copy link
Contributor Author

IMS94 commented Apr 28, 2023

Closing this since this was completed

@IMS94 IMS94 closed this as completed Apr 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Points/1 Equivalent to one day effort Team/LanguageServer Language Server Implementation related issues. #Compiler Type/Task
Projects
Archived in project
Development

No branches or pull requests

1 participant