FYI: Patch: java.io.DataInputStream

[Michael Koch]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Am Montag, 5. Mai 2003 20:22 schrieb Tom Tromey:
> >>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:
>
> Michael> I commited the attached patch to merge the latest
> documentation Michael> updated in java.io.DataInputStream from
> classpath to trunk.
>
> You forgot the attachment.

Sorry about that. This happens when you are in a hurry.
Here it is.

Michael
- -- 
Homepage: http://www.worldforge.org/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQE+tsQlWSOgCCdjSDsRAo8HAJ4xmz9OkoiFKedjWJs5layaJayCVQCfQkVs
345jaVtC/kNhesGHN628PVw=
=KKTE
-----END PGP SIGNATURE-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DataInputStream.diff
Type: text/x-diff
Size: 11777 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/java-patches/attachments/20030505/fa0fa18c/attachment.bin>