aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/GADTRecords.hs
Commit message (Expand)AuthorAgeFilesLines
* html-test: Always set languageJoachim Breitner2021-02-221-0/+1
* Using new syntax in html-test/src/GADTRecords.hs.Kazu Yamamoto2013-02-071-5/+4
* Move source files for HTML tests to html-test/srcSimon Hengel2012-10-151-0/+12