diff options
| -rw-r--r-- | src/ChangeLog.unicode | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog.unicode b/src/ChangeLog.unicode index 6d9e014cf56..20b0858a0ae 100644 --- a/src/ChangeLog.unicode +++ b/src/ChangeLog.unicode @@ -1,3 +1,8 @@ +2007-06-15 Ulrich Mueller <ulm@gentoo.org> (tiny change) + + * Makefile.in (${lispsource}international/charprop.el): Depend on + temacs${EXEEXT}. + 2007-06-13 Jason Rumney <jasonr@gnu.org> * w32font.c (w32font_close): Delete the GDI font object. |