summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-11 19:57:22 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-11 19:57:22 -0500
commit6cd100d1ca2603d57ffd6a05763ca2de18554a97 (patch)
treee036e8f26e4cddc79884b0cd619223e22ea5b4f5 /include
parentf327681cc734f2b478051f0174ca9d980ff2e5ae (diff)
Warn about XHTML looseness
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions