commit | 55e3927f58b848f0c980158527270b172a7ac68b | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 07 21:47:25 1997 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 07 21:47:25 1997 +0000 |
tree | 10e85ee614d64cb37d3f86e8cbf61e188c09369d | |
parent | d2c0ec78d20d5e4de34f87e273e6bfb5eb152987 [diff] |
New exception interface