diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-30 21:10:19 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-08-30 21:10:19 +0200 |
| commit | 6aeacf5863e6f22b86d9fb8e57380ca29fbfddaa (patch) | |
| tree | 13a110248fd25cc8c9bcaae407c2ba89c65f6a43 /generic | |
| 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 'generic')
0 files changed, 0 insertions, 0 deletions