summaryrefslogtreecommitdiff
path: root/tests/filter.ur
Commit message (Expand)AuthorAge
* Adding Selenium-based checking to tests.Gravatar Artyom Shalkhakov2018-05-08
* Fix type class resolution infinite loop, discovered while meeting with EzraGravatar Adam Chlipala2009-08-06