diff options
author | 2019-01-12 21:35:30 +0100 | |
---|---|---|
committer | 2019-01-13 02:47:43 +0100 | |
commit | beebf0f144a04190c0f0910860f603a14f937b6b (patch) | |
tree | e0b9236c98aaeca01786f0ac1a22a3f13b94f616 /images/epg-info.xpm | |
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 'images/epg-info.xpm')
0 files changed, 0 insertions, 0 deletions