[nongnu] elpa/proof-general e86aa8468b 07/25: Added author to qrhl.el.

[ELPA Syncer]

branch: elpa/proof-general
commit e86aa8468b1f993dc05dd4cbb481c891e1da0215
Author: Dominique Unruh <un...@ut.ee>
Commit: Dominique Unruh <un...@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")