Skip to content
This repository was archived by the owner on Apr 2, 2025. It is now read-only.

vscode-lean 0.16.60

Latest

Choose a tag to compare

@mhuisi mhuisi released this 02 Apr 08:52

This release is identical to 0.16.60. It just updates the extension display name and README to reflect that this extension is deprecated.

Since I couldn't get this extension to build anymore in order to release it regularly, this release was created by patching the 0.16.59 .vsix.