Bump ext version - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Bump ext version #83

Closed meraymond2 closed 2 years ago

meraymond2 commented 2 years ago

0.0.13

Added

Added the ability to specify additional arguments for the Idris process.
Changed

Fixed
Fixed a bug in Idris v1 mode where it would erroneously show the workspace error message.