diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-01-09 19:15:18 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-01-09 19:15:18 (GMT) |
| commit | ac090fa8e710de347b7ce3721caf07fd810bca55 (patch) | |
| tree | 98fa115e334e861c54a0710bd3cc96d308786b08 /tools | |
| parent | 5e7735cbae28d341cce67e64814f2ae9d0721fef (diff) | |
Fix part 1 of #439. Also cleanup code a bit.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions