Update dictionary

This commit is contained in:
Nicolas Abril 2024-05-22 21:08:40 +02:00
parent 88ee72340a
commit d034b92577

View File

@ -43,6 +43,7 @@
"inets", "inets",
"inlineable", "inlineable",
"inlineables", "inlineables",
"inlinees",
"inlines", "inlines",
"inodes", "inodes",
"insta", "insta",
@ -86,10 +87,10 @@
"recursively", "recursively",
"redex", "redex",
"redexes", "redexes",
"repr",
"resugar", "resugar",
"resugared", "resugared",
"resugaring", "resugaring",
"repr",
"rfold", "rfold",
"rsplit", "rsplit",
"rwts", "rwts",
@ -118,7 +119,10 @@
"walkdir", "walkdir",
"wopts" "wopts"
], ],
"files": ["**/*.rs", "**/*.md"], "files": [
"**/*.rs",
"**/*.md"
],
"ignoreRegExpList": [ "ignoreRegExpList": [
"HexValues", "HexValues",
"/λ/g", "/λ/g",