diff options
author | Piotr Drąg <piotrdrag@gmail.com> | 2021-09-18 12:17:35 +0200 |
---|---|---|
committer | Piotr Drąg <piotrdrag@gmail.com> | 2021-09-18 12:17:35 +0200 |
commit | 85097228088a8f39e3a209c1290200d35c1c9533 (patch) | |
tree | 8d09fd3f9b9d8207a7d46a434c6578938f369c15 | |
parent | 9992d0a3018946af3668edcfdc1d373542911703 (diff) | |
download | gtksourceview-85097228088a8f39e3a209c1290200d35c1c9533.tar.gz |
Update POTFILES.skip
-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 bec016ec..1017607d 100644 --- a/po/POTFILES.skip +++ b/po/POTFILES.skip @@ -87,6 +87,7 @@ data/language-specs/jsx.lang data/language-specs/julia.lang data/language-specs/kotlin.lang data/language-specs/latex.lang +data/language-specs/lean.lang data/language-specs/less.lang data/language-specs/lex.lang data/language-specs/libtool.lang |