commit | d0fc42f43968dbe0fc6f762fad527a684d557396 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 19 22:05:06 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 19 22:05:06 2001 +0000 |
tree | 6b3e3f13a52a01e993c6800555e969a12c0ce261 | |
parent | 42b1539e987114281300dbe179b27a47c6d9afa1 [diff] |
Moved here from lib-toolbox, where they should never have been in the first place (all the other stuff there wa generated with bgen).