commit | 5bdbabd203488c4ca26696ae6da9e0f7a789326f | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 24 19:52:52 2000 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 24 19:52:52 2000 +0000 |
tree | ba9bb96bd0e42e20e12e8dc825812b27ae2725b3 | |
parent | 1f9f2f4c490d901c6a5815f7db8cbe6ba4903849 [diff] |
Added more prototypes.