Skip to content

Add feature and update site #19

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

Closed
wants to merge 16 commits into from

Conversation

64g
Copy link

@64g 64g commented Jul 16, 2020

No description provided.

@wmdietl
Copy link
Member

wmdietl commented Aug 5, 2020

Ping on this. The issues from #18 (comment) don't seem resolved.

@64g 64g changed the title Renaming lsp_checkerframework to org.checkerframework.languageserver.eclipse Add feature and update site Aug 6, 2020
@wmdietl
Copy link
Member

wmdietl commented Aug 13, 2020

Closed in favor of #21

@wmdietl wmdietl closed this Aug 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants