diff options
author | jcid <devnull@localhost> | 2008-05-21 22:45:23 +0200 |
---|---|---|
committer | jcid <devnull@localhost> | 2008-05-21 22:45:23 +0200 |
commit | 2164601461cf170ed66ffd9aef2cec0834662cdc (patch) | |
tree | 62ec5471b1168138097690c6e104e51383c3e55a /src/uicmd.cc | |
parent | 3fb8bcfd79cb01ca3feaa1ff92876dba6e711381 (diff) |
- Small memory optimization in whitespace handling in PRE elements.
Diffstat (limited to 'src/uicmd.cc')
0 files changed, 0 insertions, 0 deletions