langserver.github.io icon indicating copy to clipboard operation
langserver.github.io copied to clipboard
verified publisher icon langserver

Digestif

Open linwaytin opened this issue 6 years ago • 4 comments

Digestif is an LSP server for LaTeX. https://github.com/astoff/digestif

linwaytin avatar Dec 23 '19 00:12 linwaytin

Hi @linwaytin, could you open a PR adding it?

keegancsmith avatar Jan 06 '20 04:01 keegancsmith

How can I do that?

linwaytin avatar Jan 06 '20 19:01 linwaytin

If you are unfamiliar with creating pull requests / HTML but want to try, try and copy the change that was done in a closed PR https://github.com/langserver/langserver.github.io/pulls?q=is%3Apr+is%3Aclosed

You can do it from GitHub https://github.com/langserver/langserver.github.io/edit/master/index.html

Otherwise I can add in the details for you.

keegancsmith avatar Jan 07 '20 12:01 keegancsmith

Hi @keegancsmith, Yes I'm not familiar with pull requests, and do not have time to try it now. It will be nice if you can add them. Thank you.

linwaytin avatar Jan 07 '20 16:01 linwaytin