From 004db3ecd099c8377e096b4be45eab92d25787ce Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.oqube@gmail.com>
Date: Sat, 7 Sep 2019 10:27:13 +0200
Subject: use local idris-mode

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

diff --git a/.emacs b/.emacs
index 3f24169..dd97b21 100644
--- a/.emacs
+++ b/.emacs
@@ -286,5 +286,5 @@
 
 ;; Idris
 ;; development mode
-;; (add-to-list 'load-path (concat (getenv "HOME") "/projects/idris/idris-mode"))
+(add-to-list 'load-path (concat (getenv "HOME") "/projects/idris/idris-mode"))
 (require 'idris-mode)
-- 
cgit v1.2.3