diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-03-19 14:20:44 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-03-19 14:20:44 (GMT) |
commit | 96243824bbccecd2bfe3b19e09dd7e6daf16621d (patch) | |
tree | a10fba3836a2dade19a9ebf215c1864860ee7548 /tools | |
parent | 08b378e5f82fbbc0a69b8f905f03a75960d90cc1 (diff) |
Remove our own sizing
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions