Merge pull request #217 from melted/master

Update version to 0.5.0
idris-hackers · Sep 12, 2018 · 8ae8c8e · 8ae8c8e
2 parents bfdaccc + 0fb35c9
commit 8ae8c8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "language-idris",
   "main": "./lib/language-idris",
-  "version": "0.4.10",
+  "version": "0.5.0",
   "private": true,
   "description": "A plugin for developing with Idris",
   "repository": "https://github.com/idris-hackers/atom-language-idris",