| commit | fbd861bbd3532372c6c9160c5d14f17ff2c7de00 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Mar 05 16:00:15 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Mar 05 16:00:15 2003 +0000 |
| tree | 4e373294ffd4457ec828e23f375a676ca4f2a46b | |
| parent | 2ac79ef9e3168691efabad6877e45168a00738ac [diff] |
An #endif was missing in Just's patch. Added.