diff options
author | 2018-08-30 21:10:19 +0200 | |
---|---|---|
committer | 2018-08-30 21:10:19 +0200 | |
commit | 6aeacf5863e6f22b86d9fb8e57380ca29fbfddaa (patch) | |
tree | 13a110248fd25cc8c9bcaae407c2ba89c65f6a43 /REGISTER | |
parent | 69066bf2cb97d6df74a069c3e90155e43353a2a0 (diff) | |
parent | ff1cb6c2c355082076d99de1f560fa0c4bbcd86c (diff) |
Merge pull request #384 from ProofGeneral/update-install-guide
Update installation instructions for MELPA in README.md
Diffstat (limited to 'REGISTER')
0 files changed, 0 insertions, 0 deletions