diff options
Diffstat (limited to '.cspell')
| -rw-r--r-- | .cspell/liquid.txt | 8 | ||||
| m--------- | .cspell/my-cspell-dicts | 0 |
2 files changed, 8 insertions, 0 deletions
diff --git a/.cspell/liquid.txt b/.cspell/liquid.txt new file mode 100644 index 0000000..155a881 --- /dev/null +++ b/.cspell/liquid.txt @@ -0,0 +1,8 @@ +endaxiom +endcorollary +enddefinition +endexample +endlemma +endproof +endproposition +endtheorem diff --git a/.cspell/my-cspell-dicts b/.cspell/my-cspell-dicts -Subproject 5f3c438665f20f7fa0ad17c35b87946426a0cc4 +Subproject 1e177028a4a8a45a9927479811411ee2beb5c59 |