commit 841fcbd04755c7a2865c51c1e2d3b045976b7452
Author: Eelco Dolstra <e.dolstra@tudelft.nl>
Date:   Wed Mar 12 13:32:24 2003 +0000

    * And a trunk to go along with that.