| commit | ad5dcafac42018ea2b4eaebb666943625a66e67c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Mar 30 23:44:58 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Mar 30 23:44:58 2002 +0000 |
| tree | 792d1c1b12a2b6c51876388a52b48790d5530f03 | |
| parent | 77afbc0b3bda315b59a9fc82e9640445cde0c2c2 [diff] |
Got rid of obsolete way to get at various toolbox types.