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 /tests/ktuple.urp | |
parent | 001407495e8ce63fcff702515db38b882d425da8 (diff) |
Change handling of returned text blobs, to activate the normal EWrite optimizations
Diffstat (limited to 'tests/ktuple.urp')
0 files changed, 0 insertions, 0 deletions