From fc510ae6329ea0d5acee4f02f70a9b7fd2401e62 Mon Sep 17 00:00:00 2001
From: Nicolas Gagliani <whatamaps@gmail.com>
Date: Sun, 31 May 2015 19:01:10 +0200
Subject: [PATCH] Prepare 0.1.3 release

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index dd4a87d..b1c8e4b 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "language-idris",
   "main": "./lib/language-idris",
-  "version": "0.1.2",
+  "version": "0.1.3",
   "private": true,
   "description": "A plugin for developing with Idris",
   "repository": "https://github.com/fangel/atom-language-idris",