Merge pull request #31 from meraymond2/v0.0.7

Bump version
meraymond2 · Dec 23, 2020 · d2da397 · d2da397
2 parents e546045 + 964fdef
commit d2da397
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,8 +1,13 @@
 ## Unreleased
 ### Added
 ### Changed
+### Fixed
+
+## 0.0.7
+### Added
+### Changed
 - Trim leading `?` so hover can show types of metavariables.
-- Bump client version to 0.1.4, which has better Idris 2 support.
+- Bump idris-ide-client version to 0.1.4, which has better Idris 2 support.
 ### Fixed
 - Fix a bug where extension would prompt for reload on _any_ config change.
 - Workaround a bug in Idris 2 where it would mangle messages based on a mis-inferred terminal width.

diff --git a/package.json b/package.json
@@ -2,8 +2,8 @@
   "name": "idris-vscode",
   "publisher": "meraymond",
   "displayName": "Idris Language",
-  "description": "Idris language support.",
-  "version": "0.0.6",
+  "description": "Language support for Idris and Idris 2.",
+  "version": "0.0.7",
   "license": "MIT",
   "repository": {
     "type": "git",