| commit | 73c804a3cd864cdb0ae2f2cff816848633f454f2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 16:08:19 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 20 16:08:19 1998 +0000 |
| tree | 0e89b6637b48c2d515775fe7093f0616cf26ac90 | |
| parent | 8554e302a5bf1732d99796ce0b58db2fd36a06a0 [diff] |
Added some debug prints (if enabled by setting DEBUG)