commit | 52e02998ef9d0c5643cf037f2db3cc5cf7c8c451 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue May 16 13:43:09 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue May 16 13:43:09 1995 +0000 |
tree | 2dff28c1536a0f13d3c7b705671246d7a59bd36d | |
parent | 7a1f6f4f2af359dc8cc379435dfbe0a60aa9e885 [diff] |
Made the example slightly more complete