summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-09-20 14:26:58 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2016-09-20 14:26:58 -0400
commit6720a4578afab577f9721485fbb8e810104d6249 (patch)
tree29e6d22181a1bd58271a3b10ef5e457b37b9b06e /tests
parentd41ec985e9839d5c01d69363cfca1dfda25536ab (diff)
Make HTML5 the default and add 'xhtml' .urp directive
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions