Merge pull request #62 from meraymond2/0.0.10

0.0.10
meraymond2 · Jul 13, 2021 · d4f76a8 · d4f76a8
2 parents 9b9a683 + 4095982
commit d4f76a8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,8 +1,14 @@
 ## Unreleased
 ### Added
-- Adds more ide support for .lidr files, mainly hover and diagnostics, and some commands.
 ### Changed
 ### Fixed
+
+## 0.0.10
+### Added
+- Adds more ide support for .lidr files: hover, diagnostics and most commands.
+### Changed
+- Updated the IDE process args to handle Idris2 0.4.0, specifically fixes it so it doesn't spew ansi colour codes everywhere.
+### Fixed
 - Fixed a bug where hover would send erroneous typecheck requests that weren't displayed, but slowed down the process.
 
 ## 0.0.9

diff --git a/package.json b/package.json
@@ -3,7 +3,7 @@
   "publisher": "meraymond",
   "displayName": "Idris Language",
   "description": "Language support for Idris and Idris 2.",
-  "version": "0.0.9",
+  "version": "0.0.10",
   "license": "MIT",
   "repository": {
     "type": "git",