diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-29 12:18:30 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-29 12:18:30 +0000 |
| commit | 0e694e041a99860454fe0a74eb83133d89896d62 (patch) | |
| tree | 76801546e4f053c342ff8dd923fed33c9d4bdcc9 /tools | |
| parent | 440439e3cc2ce7a9e6b36e6801f37c42cce1a729 (diff) | |
Minor fixes as requested by Pavel.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions