Bump up version

swr1bm86 · Mar 14, 2017 · cc08e5c · cc08e5c
1 parent 01c61cd
commit cc08e5c
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Changelog
 
+## 0.3.1
+
+* Update syntax to followed up Idirs 0.99.1 [@be5invis](https://github.com/be5invis)
+* Fix typo for the title of `idris.docs-for` command [@FinnNk](https://github.com/FinnNk)
+
 ## 0.3.0
 
 * Typechecking

diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -0,0 +1,5 @@
+Thanks to the following for their help and contributions:
+
+* [@bascott](https://github.com/bascott)
+* [@be5invis](https://github.com/be5invis)
+* [@FinnNk](https://github.com/FinnNk)
diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "Idris",
   "description": "Idris Language Support for Visual Studio Code",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "publisher": "zjhmale",
   "engines": {
     "vscode": "^1.8.0"