diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-12-04 19:54:04 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-12-04 19:54:04 -0500 |
commit | c28e7617eecdaeaaa1fe804854805f43b3f8f523 (patch) | |
tree | eb34b6c894679fa04c517bfa2472fa135b085bb5 /demo/form.ur | |
parent | cadd391103895fbd6800200f20dc7d539ba16ed6 (diff) |
Optimizing writes of single characters
Diffstat (limited to 'demo/form.ur')
0 files changed, 0 insertions, 0 deletions