| commit | 8cf644df52f48585b97ee38e8d4b9912df826bbd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jun 19 22:45:37 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jun 19 22:45:37 2003 +0000 |
| tree | 3e49e2e013b3973334606c55f3d2080bed3601b4 | |
| parent | 7b9a386ef9bb306f39fbe55dc252c52a52001e81 [diff] |
Install Demo and Tools too.