diff options
| author | Arnaud Bailly <arnaud.oqube@gmail.com> | 2019-09-07 10:27:13 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.oqube@gmail.com> | 2019-09-07 10:27:13 +0200 |
| commit | 004db3ecd099c8377e096b4be45eab92d25787ce (patch) | |
| tree | 632c6b6338cbbeea1ba0be927e449a1bfb5fe9e6 | |
| parent | 86bd595227b273fa2c0c7a6bed7445646252a191 (diff) | |
| download | dotfiles-004db3ecd099c8377e096b4be45eab92d25787ce.tar.gz | |
use local idris-mode
| -rw-r--r-- | .emacs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |