commit | 0257424a2ac6ec89732fb90155657dfd8382b686 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jul 05 10:00:57 2005 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jul 05 10:00:57 2005 +0000 |
tree | d5dace473c1e841cadd68088c2247aad8c86167d | |
parent | 82cb9a235de45074d578d46bbf6680e726b13efd [diff] |
Allow for (optional) const declaration.