summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAge
* Adding Selenium-based checking to tests.Gravatar Artyom Shalkhakov2018-05-08
* Imported to Git from MercurialGravatar Adam Chlipala2015-12-20