| commit | f31bd453a5b27fd896482d45e720567d88651d15 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jul 24 21:46:40 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jul 24 21:46:40 2003 +0000 |
| tree | 0f55d660dc8ad6ef005b4c5ef6526cb76aefc107 | |
| parent | 2c24d42d329ad48cc7c92bfed935c28e8fcdd188 [diff] |
Added instructions on setting the proxy host.