branch: elpa/idris-mode
commit ccf32ed0b509f2173672297f6659b4459446064f
Merge: 1856fdb4bf d84d65aabf
Author: Jan de Muijnck-Hughes <j...@users.noreply.github.com>
Commit: GitHub <nore...@github.com>
Merge pull request #639 from ska80/fixes1
A couple of improvements
---
idris-ipkg-mode.el | 1 +
idris-settings.el | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/idris-ipkg-mode.el b/idris-ipkg-mode.el
index 335bf64028..851b35f0ca 100644
--- a/idris-ipkg-mode.el
+++ b/idris-ipkg-mode.el
@@ -74,6 +74,7 @@
"preclean"
"postclean"
"version"
+ "langversion"
"depends"
"modules"
"main"
diff --git a/idris-settings.el b/idris-settings.el
index 501f4277de..11f7de7657 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -1,4 +1,4 @@
-;;; idris-settings.el --- Contains settings for idris-mode
+;;; idris-settings.el --- Contains settings for idris-mode -*-
lexical-binding: t -*-
;; Copyright (C) 2013 Hannes Mehnert and David Raymond Christiansen
