summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 12:47:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 12:47:01 -0400
commit81fd55a0a98eb20147ae9289095f976dcee4d6cd (patch)
tree9aa9661db2d2394e769ff2e8ecef048f7a43c38f /doc
parent768fd72de4842c23813cd45bfae4918c7395e0c1 (diff)
Catch more unclosed bodyless tags in Monoize
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions