Skip to content

Commit 79304e3

Browse files
banacornbanacorn
committed
[ fix ] Attempt to fix the test case related to issue #250 on Windows
1 parent b63f634 commit 79304e3

File tree

9 files changed

+238
-390
lines changed

9 files changed

+238
-390
lines changed

‎lib/js/src/Agda.bs.js‎

Lines changed: 50 additions & 39 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/src/Goals.bs.js‎

Lines changed: 17 additions & 36 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/src/Tokens.bs.js‎

Lines changed: 39 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)