| commit | 067b0a336731abda0ccf926c48c508726bdd643f | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sun Jun 26 14:08:05 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Mon Jun 27 19:18:40 2016 +0200 |
| tree | 83b44e62ca71ed3ab66578cb7bd6ec75cf946271 | |
| parent | 24b10179a149b4bf88886908018322f5a8753d86 [diff] |
input: elide an extra buffer for inserting stuff into the text Do the casting from integer to character rightaway in the first intermediate buffer.