summaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAge
* README extension: installation and simple invocationGravatar Adam Chlipala2017-10-01
* Add build status image to README.mdGravatar Jason Gross2015-12-30
* Imported to Git from MercurialGravatar Adam Chlipala2015-12-20