Skip to content

Commit 4eaf41c

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

File tree

9 files changed

+1938
-320
lines changed

9 files changed

+1938
-320
lines changed

‎Log.md‎

Lines changed: 1105 additions & 0 deletions
Large diffs are not rendered by default.

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

0 commit comments

Comments
 (0)