[nongnu] elpa/idris-mode ccf32ed0b5 5/5: Merge pull request #639 from ska80/fixes1

[ELPA Syncer]

branch: elpa/idris-mode
commit ccf32ed0b509f2173672297f6659b4459446064f
Merge: 1856fdb4bf d84d65aabf
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@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