diff options
| author | github-actions <github-actions@github.com> | 2021-11-23 18:34:11 +0000 |
|---|---|---|
| committer | github-actions <github-actions@github.com> | 2021-11-23 18:34:11 +0000 |
| commit | 1cb8583d186d28f2959eac5d74a74dc745fae099 (patch) | |
| tree | d30f3e6824117b082c1697a972cce65feca8fdca /lua/lspconfig/fstar.lua | |
| parent | fix(leanls): make opening nonexisting directories work (#1474) (diff) | |
| download | nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.gz nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.bz2 nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.lz nvim-lspconfig-1cb8583d186d28f2959eac5d74a74dc745fae099.tar.xz | |