gcj.texi (Standard properties): Change default of java.awt.toolkit to gnu.awt.gtk...
authorMichael Koch <konqueror@gmx.de>
Fri, 4 Oct 2002 15:36:12 +0000 (15:36 +0000)
committerMichael Koch <mkoch@gcc.gnu.org>
Fri, 4 Oct 2002 15:36:12 +0000 (15:36 +0000)
commitf42ee52fc006fd8540e4a7a4356abc830a520a44
tree1777804e662a397fe256930a736bfd10ac2d9e63
parent6017ba03e924b92dd79fcd2e1111cb19ddc68038
gcj.texi (Standard properties): Change default of java.awt.toolkit to gnu.awt.gtk.GtkToolkit.

2002-10-03  Michael Koch  <konqueror@gmx.de>

* gcj.texi (Standard properties):
Change default of java.awt.toolkit to gnu.awt.gtk.GtkToolkit.

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