Client version bump - Githubissues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Client version bump #2

Closed meraymond2 closed 4 years ago

meraymond2 commented 4 years ago

just pulling in fixes from the client: https://github.com/meraymond2/idris-ide-client/releases