diff options
| author | Matthieu Coudron <mcoudron@hotmail.com> | 2021-07-19 00:53:31 +0200 |
|---|---|---|
| committer | Matthieu Coudron <mcoudron@hotmail.com> | 2021-07-20 22:24:42 +0200 |
| commit | 31f9d80df8e21419d8403be32691600725adecb7 (patch) | |
| tree | 3a33debd7c1441d003e9326cc54b1026c1da221a /lua/lspconfig/lean3ls.lua | |
| parent | fix(hls): log is configured via haskell.logFile (diff) | |
| download | nvim-lspconfig-31f9d80df8e21419d8403be32691600725adecb7.tar nvim-lspconfig-31f9d80df8e21419d8403be32691600725adecb7.tar.gz nvim-lspconfig-31f9d80df8e21419d8403be32691600725adecb7.tar.bz2 nvim-lspconfig-31f9d80df8e21419d8403be32691600725adecb7.tar.lz nvim-lspconfig-31f9d80df8e21419d8403be32691600725adecb7.tar.xz nvim-lspconfig-31f9d80df8e21419d8403be32691600725adecb7.tar.zst nvim-lspconfig-31f9d80df8e21419d8403be32691600725adecb7.zip | |
feat: add flake.nix
use 'nix develop' to get into a shell with dependencies
Diffstat (limited to 'lua/lspconfig/lean3ls.lua')
0 files changed, 0 insertions, 0 deletions