diff options
author | practicalswift <practicalswift@users.noreply.github.com> | 2018-10-16 13:34:10 +0200 |
---|---|---|
committer | practicalswift <practicalswift@users.noreply.github.com> | 2018-10-16 13:34:10 +0200 |
commit | c32cf6a0f2dbd0c16e4834fd13ef245c95a9fef6 (patch) | |
tree | 22a63728b82c3ef52d263b8170a7ca8853808c49 | |
parent | 4ae50daaa7fb118d6cf5106734c6f4dc905a6ddd (diff) |
Add ignored word: mut
-rw-r--r-- | test/lint/lint-spelling.ignore-words.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/lint/lint-spelling.ignore-words.txt b/test/lint/lint-spelling.ignore-words.txt index 9a49f32271..f0415443db 100644 --- a/test/lint/lint-spelling.ignore-words.txt +++ b/test/lint/lint-spelling.ignore-words.txt @@ -1,6 +1,7 @@ cas hights mor +mut objext unselect useable |