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