Skip to content

Commit 0c52685

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

File tree

8 files changed

+483
-315
lines changed

8 files changed

+483
-315
lines changed

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

Lines changed: 36 additions & 32 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: 94 additions & 18 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/src/State/State__Response.bs.js‎

Lines changed: 72 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)