[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 65d6db1b75 2/2: Merge pull request #549 from jf
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/idris-mode 65d6db1b75 2/2: Merge pull request #549 from jfdm/version |
|
Date: |
Wed, 5 Jan 2022 08:58:28 -0500 (EST) |
branch: elpa/idris-mode
commit 65d6db1b7574ceccd3d97eee3790c2f74aa9724d
Merge: edc2f60c75 f7f12348ce
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>
Merge pull request #549 from jfdm/version
[ admin ] forgot to update version number in `idris-model.el`
---
idris-mode.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/idris-mode.el b/idris-mode.el
index 88491db482..f6d7b798e6 100644
--- a/idris-mode.el
+++ b/idris-mode.el
@@ -6,7 +6,7 @@
;; URL: https://github.com/idris-hackers/idris-mode
;; Keywords: languages
;; Package-Requires: ((emacs "24") (prop-menu "0.1") (cl-lib "0.5"))
-;; Version: 0.9.18
+;; Version: 1.1.0
;;; Commentary:
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/idris-mode 65d6db1b75 2/2: Merge pull request #549 from jfdm/version,
ELPA Syncer <=