diff options
Diffstat (limited to 'po')
-rw-r--r-- | po/POTFILES.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in index f1a4285a..5b15e936 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -2,6 +2,7 @@ examples/c/bistromathic/parse.y examples/java/calc/Calc.y src/complain.c src/conflicts.c +src/counterexample.c src/files.c src/fixits.c src/getargs.c |