diff options
| author | Pavel Machek <pavel@ucw.cz> | 2000-04-17 10:54:01 +0000 |
|---|---|---|
| committer | Pavel Machek <pavel@ucw.cz> | 2000-04-17 10:54:01 +0000 |
| commit | ecd25633bdc3e491a0eca44c63c158eeff388f13 (patch) | |
| tree | 8293ec3d7e371e9d00fd0019f31ce35bf3fdd01e /tools | |
| parent | 4b641bab521c4fbabf931c3eac7704e8e2cab298 (diff) | |
Use printing routine from nest/ instead of our own.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions