diff options
| author | Enrico Tassi | 2016-09-05 16:25:22 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-09-05 16:37:00 +0200 |
| commit | e8630fbd2b27a476e0570408397289a1affab86e (patch) | |
| tree | 74e0127f4a351448744d76ca9cfca6dde5e0c29f /dev/doc | |
| parent | b253e31a22024a5bb73b6fa707e6582b4034621b (diff) | |
xml_printer: use sensible names for putc and puts
They used to be called output and output' ...
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions