diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-11 18:22:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-11 18:22:10 -0500 |
| commit | 4c76d279aed3f26bebe9432afe7a0da8892ffc48 (patch) | |
| tree | 3e8a07b87b557e42d86d6dd5f3052a3fd1dd84ec /LICENSE | |
| parent | 001407495e8ce63fcff702515db38b882d425da8 (diff) | |
Change handling of returned text blobs, to activate the normal EWrite optimizations
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions