Skip to content

Commit 317cdb1

Browse files
Merge pull request #1 from FernandoChu/symbols
Add unimath symbols to autocomplete
2 parents 91101f2 + 249f16d commit 317cdb1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

node_modules/jscoq/dist/lib.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)