|
From: | ELPA Syncer |
Subject: | [nongnu] elpa/proof-general e86aa8468b 07/25: Added author to qrhl.el. |
Date: | Mon, 28 Feb 2022 07:58:44 -0500 (EST) |
branch: elpa/proof-general commit e86aa8468b1f993dc05dd4cbb481c891e1da0215 Author: Dominique Unruh <unruh@ut.ee> Commit: Dominique Unruh <unruh@ut.ee> Added author to qrhl.el. --- qrhl/qrhl.el | 1 + 1 file changed, 1 insertion(+) diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el index bbd93b489d..3d0d04da63 100644 --- a/qrhl/qrhl.el +++ b/qrhl/qrhl.el @@ -1,3 +1,4 @@ +;; Author: Dominique Unruh (load-library "qrhl-input")
[Prev in Thread] | Current Thread | [Next in Thread] |