Documentation for adding a new tool? #186
-
I'm trying to add a new language server, but I don't see any documentation on how to do this. I've looked at some of the other installation scripts, but I'm a bit lost. |
Beta Was this translation helpful? Give feedback.
Answered by
williamboman
Jul 28, 2022
Replies: 1 comment 1 reply
-
Hello! Have you seen the following: |
Beta Was this translation helpful? Give feedback.
1 reply
Answer selected by
poperigby
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hello! Have you seen the following: