Skip to content

Commit 8576290

Browse files
committed
Bump pkg version
1 parent 77a1b78 commit 8576290

File tree

3 files changed

+8
-3
lines changed

3 files changed

+8
-3
lines changed

CHANGELOG.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
## Unreleased
22
### Added
33
### Changed
4+
### Fixed
5+
6+
## v0.1.6
7+
### Added
8+
### Changed
49
- Added workarounds to the reply-parser to handle Idris 2, version 0.6.0.
510
### Fixed
611

package-lock.json

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"name": "idris-ide-client",
3-
"version": "0.1.5",
3+
"version": "0.1.6",
44
"description": "A library for talking to the Idris IDE.",
55
"keywords": [
66
"idris"

0 commit comments

Comments
 (0)