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