commit | 75132e84e1081bebaf02cfe367fbb03cf097f85d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jul 03 21:33:02 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jul 03 21:33:02 2003 +0000 |
tree | 9c93f208a5a54238e3397d993b841e63e458722b | |
parent | cde2200ff28a0a54a1dc62e6a63ca3936fee5177 [diff] |
Moved two sentences around to make them clearer.