Commit 41a8982
committed
Rename jscoq_worker.bc.cjs to jscoq_worker.bc.js
1 parent b753d5d commit 41a8982
File tree
4 files changed
+3
-3
lines changed- node_modules/jscoq
- coq-js
- dist
- ui-js
4 files changed
+3
-3
lines changedFile renamed without changes.
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments