Bump versions - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Bump versions #21

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

0.0.6

Added

Changed

Added a warning when load file fails in Idris2 because of errors.

Fixed

Fixed a bug that could lead to incorrect paths in the diagnostic URIs.