diff options
Diffstat (limited to 'gcc/java')
| -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 |