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