summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Collapse)AuthorAge
* Imported to Git from MercurialGravatar Adam Chlipala2015-12-20