[no description] http://git.sudomsg.com/mirror/nvim-lspconfig/atom/lua/lspconfig/server_configurations/dafny.lua?h=v0.1.8 2023-04-05T06:18:10Z 2023-04-05T06:18:10Z Tej Chajed tchajed@gmail.com 2023-04-05T06:18:10Z urn:sha1:de114a68d6d69874b5c9f212cdc76353928772b5 2022-10-24T06:26:01Z Gorgeous-Patrick 33488623+Gorgeous-Patrick@users.noreply.github.com 2022-10-24T06:26:01Z urn:sha1:193dd018cb1de11cf631e2349d5abb4bb0a83069 * feat: add dafny support * feat: fix dafny lsp * style: coding style fixed * fix: a better way of single file mode * fix: possible windows compatibility * fix: typo in dotnet * fix: path to dll removed * feat: a probably better doc for dafny language server plugin * fix(dafny): lua syntax error Co-authored-by: Raphael <glephunter@gmail.com> Co-authored-by: Raphael <glephunter@gmail.com>