Skip to content

✨ Add dot-language-server#39

Open
Freed-Wu wants to merge 1 commit intojoaompinto:masterfrom
Freed-Wu:dot-language-server
Open

✨ Add dot-language-server#39
Freed-Wu wants to merge 1 commit intojoaompinto:masterfrom
Freed-Wu:dot-language-server

Conversation

@Freed-Wu
Copy link

@Freed-Wu Freed-Wu commented Jan 5, 2025

Fix #38

@joaompinto
Copy link
Owner

Thanks for the contribution. I will look at it as soon as possible. Lately I have not been using dot lang/graphviz much so if you are actively using it you might consider keep your fork. I would be willing to decommission my extension directing to yours.

@joaompinto joaompinto assigned joaompinto and unassigned joaompinto Jan 11, 2025
@Freed-Wu
Copy link
Author

Thanks for your reply. If you are too busy to review, you also can add me to collaborators.

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.

[feature] Add dot-language-server

2 participants