Select Git revision
settings.json
settings.json 701 B
{
"cSpell.ignoreWords": [
"alpha",
"ask",
"break",
"can",
"cmake",
"controller",
"core",
"cstr",
"cyccnt",
"datatypes",
"f",
"for",
"grepit",
"in",
"is",
"joh",
"johan",
"ktest",
"libklee",
"libz",
"llvm",
"mkdir",
"nucleo",
"opel",
"present",
"primask",
"romeo",
"rtic",
"runtest",
"rustc",
"same",
"satisfiability",
"skylake",
"so",
"speedster",
"vcell",
"xx",
"you",
"znver"
]
}