Merge remote-tracking branch 'origin/maint'

[bison.git] / runtime-po / POTFILES.in

diff --git a/runtime-po/POTFILES.in b/runtime-po/POTFILES.in
index 745d2c1ae2295ea0a9b961f052e28edf3368490e..7e73063399e46aa0d21439564a0247e823fcb0f6 100644 (file)
--- 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