diff --git a/ChangeLog b/ChangeLog index 0d6e5a42..2b63b9ec 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-02-19 Joel E. Denny + + * runtime-po/POTFILES.in (push.c): Remove. + 2008-02-17 Joel E. Denny * data/Makefile.am (dist_pkgdata_DATA): Remove push.c. diff --git a/runtime-po/POTFILES.in b/runtime-po/POTFILES.in index 745d2c1a..7e730633 100644 --- a/runtime-po/POTFILES.in +++ b/runtime-po/POTFILES.in @@ -1,4 +1,3 @@ data/glr.c data/lalr1.cc -data/push.c data/yacc.c