| commit | dafe4712dd3a5af5065692e6e2fda203996a51c3 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 07 20:35:38 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 07 20:35:38 2000 +0000 |
| tree | 78266fa076cab58c47eaf9271a06d04baae8be66 | |
| parent | ee68fc3c7f33406cfa10e5b6c221344cef52b706 [diff] |
Nav removed (it has moved to the core toolbox modules).