| commit | 006ebebe5a9742b641264ea27a82c4b6353c961d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Jun 28 23:38:04 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Jun 28 23:38:04 2003 +0000 |
| tree | 418106e8f44c400bff63883cdeb0bb982d6b3eff | |
| parent | b8b6d0c2c63bcd9252ce20ef990da093dda8b8ce [diff] |
By default build docs, don't download them.