diff --git a/CHANGELOG.md b/CHANGELOG.md index 37a11fe..35bd5b9 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,4 +1,4 @@ -## Unreleased +## v0.1.2 ### Added - Support for connecting to an Idris process over sockets. diff --git a/package.json b/package.json index 11f6597..3b34ede 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "idris-ide-client", - "version": "0.1.1", + "version": "0.1.2", "description": "A library for talking to the Idris IDE.", "keywords": [ "idris"