Bump version

meraymond2 · Feb 12, 2021 · d7dda4a · d7dda4a
1 parent 7f468fd
commit d7dda4a
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 ## Unreleased
 ### Added
+### Changed
+### Fixed
+
+## v0.1.5
+### Added
 - Added the new Idris2-specific commands :generate-def, :generate-def-next and :proof-search-next.
 - Added a typeAt method, which implements the Idris2 :type-of + location command.
 ### Changed

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "idris-ide-client",
-  "version": "0.1.4",
+  "version": "0.1.5",
   "description": "A library for talking to the Idris IDE.",
   "keywords": [
     "idris"