diff options
Diffstat (limited to 'po')
-rw-r--r-- | po/POTFILES.skip | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/po/POTFILES.skip b/po/POTFILES.skip index 00534cd9..ea197269 100644 --- a/po/POTFILES.skip +++ b/po/POTFILES.skip @@ -1,2 +1,3 @@ src/gtk-ui/ui.xml src/gtk-ui/gtkinfobar.c +src/synthesis/src/pcre/pcre_compile.c |