From a204a4e7b1f475da2c1c4a4253463ae0d1bb092e Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Thu, 14 Jun 2018 09:21:05 +0200 Subject: remove idris from install packages --- install.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.el b/install.el index 4603040..6de54a5 100644 --- a/install.el +++ b/install.el @@ -13,4 +13,4 @@ (package-install package))) '(magit intero helm markdown-mode multiple-cursors expand-region yasnippet color-theme - idris elpy prop-menu google-translate)) + elpy prop-menu google-translate)) -- cgit v1.2.3