From 9ad5a4b76f8eb6a91b7259c2dd2b7348aafd4584 Mon Sep 17 00:00:00 2001 From: Ting-Yan Lai Date: Sun, 27 Mar 2016 20:41:47 +0800 Subject: [PATCH] Prepare 0.4.11 release --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index 3f07cb55..5aa8dade 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { "name": "agda-mode", "main": "./lib/agda-mode", - "version": "0.4.10", + "version": "0.4.11", "description": "agda-mode for Atom", "activationCommands": { "atom-text-editor[data-grammar='source agda']": [