search

tricktron / frege-lsp-server

Frege Language Server Using the Language Server Protocol
MIT License
1 stars 0 forks source link

Upstream Make Mode Changes? #38

Open tricktron opened 2 years ago

tricktron commented 2 years ago

Think about creating a pull request to frege, to upstream the changes for the make mode if that is possible.

tricktron commented 2 years ago

See https://github.com/Frege/frege/pull/394