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 /Makefile.travis | |
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 'Makefile.travis')
0 files changed, 0 insertions, 0 deletions