| commit | a7a7df0666f4d69af1026850c46dee59f24debb1 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 31 09:38:49 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 31 09:38:49 1998 +0000 |
| tree | 7d161652d644771927f44be836d1bdd057d1bf78 | |
| parent | 87c485c1ad771fb9853bca572c493cc4acc0b7cb [diff] |
New about box and a few other fixes by Just, and everything got rebinhexed again.