Skip to content

fix: Disable /showSnippets in legacy Dafny server (fixes #1969)#1970

Merged
keyboardDrummer merged 2 commits intodafny-lang:masterfrom cpitclaudel:cpitclaudel_server-crashApr 5, 2022
+2

Commits

Commits on Apr 4, 2022

Commits on Apr 5, 2022