Bump pkg version - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

58 stars 10 forks source link

Bump pkg version #74

Closed meraymond2 closed 2 years ago

meraymond2 commented 2 years ago

0.0.12

Added

Add separate commands for :type-of and :type-at.
Changed

Fixed
Until multiple workspaces are supported, adds an error message.