branch: elpa/idris-mode commit d84d65aabf2ed62b2d7ec6d60cd5d586fa1e0a80 Author: Kamil Shakirov <kshakirov...@yahoo.com> Commit: Kamil Shakirov <kshakirov...@yahoo.com>
[fix] Add missing IPKG `langversion` keyword --- idris-ipkg-mode.el | 1 + 1 file changed, 1 insertion(+) 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"