branch: elpa/proof-general
commit e06a7704a53ee43c4695681c0e40edfdf9b1124d
Author: Erik Martin-Dorel <[email protected]>
Commit: Erik Martin-Dorel <[email protected]>
docs(README.md): Add MELPA-Stable badge
---
README.md | 1 +
1 file changed, 1 insertion(+)
diff --git a/README.md b/README.md
index 2ce6980b01..adaa6c997c 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,7 @@
[](https://github.com/ProofGeneral/PG/actions?query=workflow%3ACI)
[](https://melpa.org/#/proof-general)
+[](https://stable.melpa.org/#/proof-general)
## Overview