Skip to content

Releases: CptWesley/vscode-mcrl2

v0.0.10

31 Jan 13:25
@CptWesley CptWesley
v0.0.10
b258eac
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.10 Latest
Latest

What's Changed

  • Fix error when no matching workspace could be found by @CptWesley in #2

Full Changelog: https://github.com/CptWesley/vscode-mcrl2/commits/v0.0.10

Contributors

CptWesley
Assets 3
Loading