Skip to content

Kind 2 VS Code Extension 0.8.2

Pre-release
Pre-release
Compare
Choose a tag to compare
@daniel-larraz daniel-larraz released this 20 Jul 16:01
· 46 commits to main since this release
v0.8.2
437eb26
  • Update kind2-language-server to v0.1.6 (includes fix)
Assets 2
Loading