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 /doc | |
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
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions