| commit | f7d5aa61d34cb7816ead2757860e5a66f7da0dcb | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 10 23:43:49 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 10 23:43:49 2000 +0000 |
| tree | faba3f23c2f0fdfa74a156d441f6fa8945c337f8 | |
| parent | c6c283840316dec54244b311657511e95e742eb0 [diff] |
Adapted to Universal Headers 3.3.2. More to follow.