| commit | 158d5b5a7a64f3a4bdafd2cafca071e5e3bc1a7b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 20 14:50:10 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 20 14:50:10 1998 +0000 |
| tree | 7349ee583fb75bd23f00c5afe9e7eb31f5ac53fc | |
| parent | 6a474c5844cd77b59ffe383a95096322a9e3c87c [diff] |
I guess I'll have to commit this file occasionally...