| commit | 34f83b3f564eb95119b78a97d692f7293a8f8680 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 09 15:57:53 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 09 15:57:53 2001 +0000 |
| tree | 223670578d3f0a1633a0b00eae3e4cb0ff7c6efd | |
| parent | 784c61105343c2d4180128c382b65f48028dd8a3 [diff] |
Added a few constants.