summaryrefslogtreecommitdiff
path: root/tests/filter.ur
Commit message (Collapse)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