Skip to content

Commit d05e97c

Browse files
banacornbanacorn
committed
[ fix ] Another attempt to fix issue #250 
1 parent 0c52685 commit d05e97c

File tree

8 files changed

+25
-502
lines changed

8 files changed

+25
-502
lines changed

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

Lines changed: 1 addition & 33 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: 14 additions & 108 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: 0 additions & 72 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎lib/js/test/tests/Test__Goals.bs.js‎

Lines changed: 1 addition & 19 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)