Skip to content

Commit a02da4e

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

File tree

10 files changed

+880
-391
lines changed

10 files changed

+880
-391
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)