Set up LSP stuff
This commit is contained in:
parent
0ed194ed53
commit
d225073c27
2 changed files with 8 additions and 4 deletions
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -28,4 +28,5 @@ setup.log
|
|||
# Local OPAM switch
|
||||
_opam/
|
||||
|
||||
.direnv/
|
||||
.direnv/
|
||||
.vscode/
|
Loading…
Add table
Add a link
Reference in a new issue