diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-12 21:35:30 +0100 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-13 02:47:43 +0100 |
commit | beebf0f144a04190c0f0910860f603a14f937b6b (patch) | |
tree | e0b9236c98aaeca01786f0ac1a22a3f13b94f616 | |
parent | 237529c9dc8b267175a3879cf23a77487611ca91 (diff) |
Fix the license notice in proof-general.el
as PG master is still under GPLv2 (while PG async already switched to GPLv3+)
href: https://github.com/ProofGeneral/PG/tree/fb3b75dab55b6e6befffc53e136422558be5faa0#contributing
-rw-r--r-- | proof-general.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/proof-general.el b/proof-general.el index 73820f9e..fac8f5ac 100644 --- a/proof-general.el +++ b/proof-general.el @@ -14,10 +14,9 @@ ;; Package-Requires: ((emacs "24.3")) ;; Version: 4.5-git -;; This program is free software; you can redistribute it and/or modify -;; it under the terms of the GNU General Public License as published by -;; the Free Software Foundation, either version 3 of the License, or -;; (at your option) any later version. +;; This software is free software; you can redistribute it and/or +;; modify it under the terms of the GNU General Public License +;; version 2, as published by the Free Software Foundation. ;; This program is distributed in the hope that it will be useful, ;; but WITHOUT ANY WARRANTY; without even the implied warranty of |