| commit | 52caac1c55f41e178f37d9266c778df78e3ca988 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 19 22:05:33 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 19 22:05:33 2001 +0000 |
| tree | 5f1a916b19131d69244c7d08f856273113cf2131 | |
| parent | d0fc42f43968dbe0fc6f762fad527a684d557396 [diff] |
Moved here form lib-toolbox, for lack of a better place to go.