| commit | 36659fef2aa57dd70668c44c8d9051e32e0af45a | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 21 15:21:21 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 21 15:21:21 1998 +0000 |
| tree | 9c65ee0558bd2592a3784ffedbf0004ce2f33729 | |
| parent | 0dca75229b150b9af53ff2b94176766269e07ee0 [diff] |
Re-generated with slightly more intelligent script