[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general e06a7704a5 2/2: docs(README.md): Add MELPA-S
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general e06a7704a5 2/2: docs(README.md): Add MELPA-Stable badge |
Date: |
Thu, 14 Jul 2022 07:58:54 -0400 (EDT) |
branch: elpa/proof-general
commit e06a7704a53ee43c4695681c0e40edfdf9b1124d
Author: Erik Martin-Dorel <erik@martin-dorel.org>
Commit: Erik Martin-Dorel <erik@martin-dorel.org>
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 @@
[![CI](https://github.com/ProofGeneral/PG/workflows/CI/badge.svg?branch=master)](https://github.com/ProofGeneral/PG/actions?query=workflow%3ACI)
[![MELPA](https://melpa.org/packages/proof-general-badge.svg)](https://melpa.org/#/proof-general)
+[![MELPA
Stable](https://stable.melpa.org/packages/proof-general-badge.svg)](https://stable.melpa.org/#/proof-general)
## Overview