summaryrefslogtreecommitdiff
path: root/tests/a_case_of_the_splits.ur
Commit message (Expand)AuthorAge
* Client-side escaping of HTML should be prepared for structured HTML trees, no...Gravatar Adam Chlipala2018-10-19