gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort.
authorTom Tromey <tromey@redhat.com>
Fri, 3 Jan 2003 18:04:25 +0000 (18:04 +0000)
committerTom Tromey <tromey@gcc.gnu.org>
Fri, 3 Jan 2003 18:04:25 +0000 (18:04 +0000)
commit0320cac3d8844f8ea44a8e3a27dd75f385b12061
tree0b45b3d5f0f59bb16716dd5ebb2d1c950298b57c
parent60db58b266b5820fda5902f375cafde8c8168143
gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort.

* gcj.texi (Standard Properties): Document http.proxyHost and
http.proxyPort.

From-SVN: r60844
gcc/java/ChangeLog
gcc/java/gcj.texi