Skip to content

Conversation

@mjossdev
Copy link
Member

@mjossdev mjossdev commented May 7, 2023

Implements basic Language Server Functionality

@mjossdev mjossdev requested a review from PascalHonegger May 7, 2023 13:14
@mjossdev mjossdev force-pushed the language-server-setup branch from 1bbc85a to c90333c Compare May 7, 2023 13:17
@PascalHonegger PascalHonegger force-pushed the language-server-setup branch from c90333c to 4b1ff7a Compare May 7, 2023 13:20
@mjossdev mjossdev force-pushed the language-server-setup branch from 9cae2d8 to b0b18b4 Compare May 7, 2023 13:43
@mjossdev mjossdev merged commit 2a28e0e into main May 7, 2023
@mjossdev mjossdev deleted the language-server-setup branch May 7, 2023 13:58
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