[nongnu] elpa/proof-general 360b6c24e3 24/25: Clarified copyright of qrhl: University of Tartu

[ELPA Syncer]

branch: elpa/proof-general
commit 360b6c24e3060c943c4728d7c0df26d97cfd7d0b
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    Clarified copyright of qrhl: University of Tartu
---
 qrhl/qrhl-input-25.el | 1 +
 qrhl/qrhl-input.el    | 1 +
 qrhl/qrhl.el          | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/qrhl/qrhl-input-25.el b/qrhl/qrhl-input-25.el
index bb5a8670c8..6d9fb574ac 100644
--- a/qrhl/qrhl-input-25.el
+++ b/qrhl/qrhl-input-25.el
@@ -5,6 +5,7 @@
 ;;   2010, 2011
 ;;   National Institute of Advanced Industrial Science and Technology (AIST)
 ;;   Registration Number H14PRO021
+;; Copyright (C) 2017-2022 University of Tartu
 
 ;; Author: TAKAHASHI Naoto <ntakahas@m17n.org>
 ;;         Dave Love <fx@gnu.org>
diff --git a/qrhl/qrhl-input.el b/qrhl/qrhl-input.el
index f4a34521a9..8cc520425c 100644
--- a/qrhl/qrhl-input.el
+++ b/qrhl/qrhl-input.el
@@ -5,6 +5,7 @@
 ;;   2010, 2011
 ;;   National Institute of Advanced Industrial Science and Technology (AIST)
 ;;   Registration Number H14PRO021
+;; Copyright (C) 2017-2022 University of Tartu
 
 ;; Author: TAKAHASHI Naoto <ntakahas@m17n.org>
 ;;         Dave Love <fx@gnu.org>
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 9a3f44b6cb..bd0ec6290b 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -2,7 +2,7 @@
 
 ;; This file is part of Proof General.
 
-;; Copyright © 2017–2022  Dominique Unruh
+;; Copyright © 2017–2022  University of Tartu
 
 ;; Author: Dominique Unruh