DJGPP spefic issue. Inhibit the use of disallowed characters for

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

diff --git a/runtime-po/POTFILES.in b/runtime-po/POTFILES.in
index 7e73063399e46aa0d21439564a0247e823fcb0f6..745d2c1ae2295ea0a9b961f052e28edf3368490e 100644 (file)
--- a/runtime-po/POTFILES.in
+++ b/runtime-po/POTFILES.in
@@ -1,3 +1,4 @@
 data/glr.c
 data/lalr1.cc
+data/push.c
 data/yacc.c