Skip to content

Commit 75bdd73

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

File tree

8 files changed

+314
-315
lines changed

8 files changed

+314
-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: 47 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: 36 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)