From 0fb35c9269b0ece6f0a3c0c14907751c6ae031f7 Mon Sep 17 00:00:00 2001 From: Niklas Larsson Date: Wed, 12 Sep 2018 21:29:33 +0200 Subject: [PATCH] Update version to 0.5.0 --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index 86d4096..d460ca8 100644 --- 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",