diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:47:42 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-12 16:47:42 -0400 |
commit | 28ae7f9f4d524160df6109588855d02eb49e51cf (patch) | |
tree | 620c7b262daf0fc1a534c88df24b737482cebc6b /CHANGELOG | |
parent | 6d9522c001574db729262073cadb96c75f0f7c44 (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