summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-08 08:48:29 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-08 08:48:29 -0500
commit02e3030aac0644362afd5db073342841f0094c44 (patch)
tree025a7421b6cba981c02dc3f33203d10b03578d50 /LICENSE
parent7626d99de97a3132a934bf6021916405313dd51c (diff)
Move to simpler HTML escaping
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions