| commit | a762f4ca1872b01cfed34238b891a2dba4c1d88b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 01 22:24:56 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 01 22:24:56 2002 +0000 |
| tree | 2991c132af246364ee8471087a6ae0b865345b79 | |
| parent | 3b388ec8b3a45ae45c0934ac04627e247762293c [diff] |
Got rid of an extra level of {} and funny formatting that was still
there because of the NeXT history.