diff options
author | Christian Grothoff <christian@grothoff.org> | 2021-07-14 14:39:24 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2021-07-14 14:39:29 +0200 |
commit | fdfe2202f82b1d074d04a095f8eda51f008d591c (patch) | |
tree | 61952bc475bdf7a21d7007e947e6774196c84949 /pylint | |
parent | d8a0146f396f97e4d23b449e616c493404d57f9a (diff) | |
download | deployment-fdfe2202f82b1d074d04a095f8eda51f008d591c.tar.gz deployment-fdfe2202f82b1d074d04a095f8eda51f008d591c.tar.bz2 deployment-fdfe2202f82b1d074d04a095f8eda51f008d591c.zip |
exclude json resource files from spell-check: they are likely i18n'ed
Diffstat (limited to 'pylint')
0 files changed, 0 insertions, 0 deletions