| commit | 6448c3524871c60537534ac028f06bf40b6f0288 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 24 10:15:59 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jan 24 10:15:59 2000 +0000 |
| tree | 39d9aee5ffa3e1bc50826b8b108be95244de4133 | |
| parent | 3d7575406f3ecb526c969bdf32b9b4d352aee8d3 [diff] |
Build the Nav module too.