From fb24d0571a4c0f9e184e76baf8412196884eecbc Mon Sep 17 00:00:00 2001
From: Michael Raymond <michael_raymond@fastmail.com>
Date: Thu, 14 Oct 2021 08:33:11 +0100
Subject: [PATCH] Bump extension version

---
 CHANGELOG.md      | 6 +++++-
 package-lock.json | 2 +-
 package.json      | 2 +-
 3 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index a516f55..40534ab 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,10 +1,14 @@
 ## Unreleased
 ### Added
+### Changed
+### Fixed
+
+## 0.0.11
+### Added
 - Syntax highlighting for idris/idris2 code blocks in markdown files.
 - `Idris: Activate Extension` command, to manually activate when working with non-idris files.
 - Support for commands in idris2 blocks in markdown files.
 - Load packages from .ipkg file in Idris 1.
-
 ### Changed
 ### Fixed
 - Support completions for Idris 1 .lidr files.
diff --git a/package-lock.json b/package-lock.json
index df49d92..948f546 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "idris-vscode",
-  "version": "0.0.10",
+  "version": "0.0.11",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
diff --git a/package.json b/package.json
index 7d70456..9eff89c 100644
--- 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.10",
+  "version": "0.0.11",
   "license": "MIT",
   "repository": {
     "type": "git",