From 7662a46d1592a10de4060e170911ed4590ffa77c Mon Sep 17 00:00:00 2001 From: Jakob Schikowski Date: Mon, 30 Sep 2024 22:28:16 +0200 Subject: [PATCH] Remove VS Code settings --- .vscode/settings.json | 42 ------------------------------------------ 1 file changed, 42 deletions(-) delete mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index 838b878..0000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,42 +0,0 @@ -{ - "cSpell.words": [ - "arities", - "arity", - "barbar", - "btree", - "codice", - "codie", - "combinator", - "combinators", - "concat", - "consts", - "coroll", - "deque", - "dicetest", - "elems", - "finalizer", - "foofoo", - "getrandom", - "hashable", - "hasher", - "impls", - "ipol", - "isize", - "libstd", - "mytest", - "prng", - "proptest", - "pseudorandomly", - "pseudorandomness", - "quickcheck", - "repr", - "rustfmt", - "signum", - "struct", - "uinteger", - "uoffset", - "usize", - "vecs", - "xffff" - ] -} \ No newline at end of file