summaryrefslogtreecommitdiff
path: root/CHANGELOG
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-12 16:47:42 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-12 16:47:42 -0400
commit28ae7f9f4d524160df6109588855d02eb49e51cf (patch)
tree620c7b262daf0fc1a534c88df24b737482cebc6b /CHANGELOG
parent6d9522c001574db729262073cadb96c75f0f7c44 (diff)
Make 'static' protocol commit transactions, to force rewriting of HTML documents with JavaScript links, etc.
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions