commit | b55e5f1b62534786cf7e5be9fe25473a78613b83 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 03 16:44:27 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 03 16:44:27 2001 +0000 |
tree | 0d7a823ef3fd4b487343627c2199f294d749a692 | |
parent | 2d4ac208b595083cd3229da368294f34977e5cfa [diff] |
Fixed a few declarations.