diff options
author | jcid <devnull@localhost> | 2008-09-12 15:01:39 +0200 |
---|---|---|
committer | jcid <devnull@localhost> | 2008-09-12 15:01:39 +0200 |
commit | b4a7fddab9a30824c5c2bdfdf24e969938e5ed4e (patch) | |
tree | 77ca1730dd2a745992e07be5f422e6afd34cbec4 /src/uicmd.hh | |
parent | 171cd08291a2b2f9c212548f8a19c33bcc9ff2e6 (diff) |
- Minor size optimization.
Diffstat (limited to 'src/uicmd.hh')
0 files changed, 0 insertions, 0 deletions