diff options
| author | Tom Tromey <tromey@redhat.com> | 2003-01-03 18:04:25 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@gcc.gnu.org> | 2003-01-03 18:04:25 +0000 |
| commit | 0320cac3d8844f8ea44a8e3a27dd75f385b12061 (patch) | |
| tree | 0b45b3d5f0f59bb16716dd5ebb2d1c950298b57c /gcc | |
| parent | 60db58b266b5820fda5902f375cafde8c8168143 (diff) | |
| download | gcc-0320cac3d8844f8ea44a8e3a27dd75f385b12061.zip gcc-0320cac3d8844f8ea44a8e3a27dd75f385b12061.tar.gz gcc-0320cac3d8844f8ea44a8e3a27dd75f385b12061.tar.bz2 | |
gcj.texi (Standard Properties): Document http.proxyHost and http.proxyPort.
* gcj.texi (Standard Properties): Document http.proxyHost and
http.proxyPort.
From-SVN: r60844
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/java/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/java/gcj.texi | 6 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog index aa858e8..de4370d 100644 --- a/gcc/java/ChangeLog +++ b/gcc/java/ChangeLog @@ -1,5 +1,8 @@ 2003-01-03 Tom Tromey <tromey@redhat.com> + * gcj.texi (Standard Properties): Document http.proxyHost and + http.proxyPort. + * gcj.texi (GNU Classpath Properties): Document new properties. 2003-01-02 Steven Bosscher <s.bosscher@student.tudelft.nl> diff --git a/gcc/java/gcj.texi b/gcc/java/gcj.texi index cb7ee69..8a40b77 100644 --- a/gcc/java/gcj.texi +++ b/gcc/java/gcj.texi @@ -2151,6 +2151,12 @@ Returned by @code{java.awt.Window.getWarningString()} when the window is The class name used for initializing the default @code{java.awt.Toolkit}. Defaults to @code{gnu.awt.gtk.GtkToolkit}. +@item http.proxyHost +Name of proxy host for http connections. + +@item http.proxyPort +Port number to use when a proxy host is in use. + @end table @node GNU Classpath Properties |