diff options
Diffstat (limited to 'po/POTFILES.in')
-rw-r--r-- | po/POTFILES.in | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in new file mode 100644 index 00000000..d542afb1 --- /dev/null +++ b/po/POTFILES.in @@ -0,0 +1,22 @@ +LR0.c +allocate.c +closure.c +conflicts.c +derives.c +# files.c +getargs.c +# gram.c +lalr.c +lex.c +main.c +nullable.c +output.c +print.c +reader.c +reduce.c +# symtab.c +# warshall.c +version.c + +getopt.c +getopt1.c |