[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[cp-patches] [Patch] Regenerated JNI headers
From: |
Michael Koch |
Subject: |
[cp-patches] [Patch] Regenerated JNI headers |
Date: |
Sat, 12 Feb 2005 10:27:25 -0600 |
User-agent: |
Mutt/1.5.6+20040907i |
Hi list,
I regenerated two JNI headers which were originally generated by an too
old version of gcjh.
Michael
2005-02-12 Michael Koch <address@hidden>
* include/gnu_java_awt_peer_gtk_GdkFontPeer.h,
include/gnu_java_awt_peer_gtk_GdkGraphics2D.h:
Regenerated.
jni.diff
Description: Text document
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [cp-patches] [Patch] Regenerated JNI headers,
Michael Koch <=