From b7d2d4872f4815fa3336d4de269a252ccfe5f70d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?T=C3=AEng-Gi=C4=81n=20Lu=C4=81?= Date: Sun, 9 Oct 2016 23:05:04 +0800 Subject: [PATCH] Prepare 0.6.5 release --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index 0a5d546d..9117360f 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { "name": "agda-mode", "main": "./lib/agda-mode", - "version": "0.6.4", + "version": "0.6.5", "description": "agda-mode for Atom", "activationCommands": { "atom-text-editor[data-grammar='source agda']": [