[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode f7f12348ce 1/2: [ admin ] forgot to update vers
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode f7f12348ce 1/2: [ admin ] forgot to update version number in `idris-model.el` |
Date: |
Wed, 5 Jan 2022 08:58:28 -0500 (EST) |
branch: elpa/idris-mode
commit f7f12348cedb7eb0e3bdd5f7d7a247f04792f3dc
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
[ 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 f7f12348ce 1/2: [ admin ] forgot to update version number in `idris-model.el`,
ELPA Syncer <=