diff options
Diffstat (limited to 'po/POTFILES.in')
-rw-r--r-- | po/POTFILES.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in index 6215d608..b803f9ba 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -1,13 +1,11 @@ src/LR0.c src/complain.c src/conflicts.c -src/derives.c src/files.c src/getargs.c src/lalr.c src/lex.c src/main.c -src/nullable.c src/output.c src/print.c src/print_graph.c |