| commit | 316ba5d2dae38e62f97c7f0f778b73eef6b8437c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Oct 09 23:17:18 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Oct 09 23:17:18 1995 +0000 |
| tree | e8d7fe832c19112bd5d2d75af04e17058baf3540 | |
| parent | d40f3c60ca39b76c518df368477baa7c338b139e [diff] |
Adapted to os and imp changes