summaryrefslogtreecommitdiff
path: root/INSTALL.md
AgeCommit message (Expand)Author
2019-05-22Use opam instructions in INSTALL.mdAlasdair Armstrong
2019-05-22Fix: Update INSTALL.md with opam switch instructionsAlasdair Armstrong
2019-01-21Fix typo in install instructionsAlasdair Armstrong
2018-11-29Update install instructions.Prashanth Mundkur
2018-07-28Update INSTALL.mdhirataqdees
2018-07-24Fix a tiny typo in INSTALL.mdGeorgy Lukyanov
2018-05-30Fix typo in install instructionsAlasdair Armstrong
2018-05-30Update INSTALL.mdAlasdair Armstrong
2018-02-17Add a note detailing hopefully up-to-date install processAlasdair Armstrong