Skip to content

Commit 06cdf6e

Browse files
banacornbanacorn
committed
[ fix #250 ] Merge both lookup tables for UTF-16 surrogate pairs & Windows CRLF in Agda.OffsetConverter 
1 parent b63f634 commit 06cdf6e

File tree

10 files changed

+835
-401
lines changed

10 files changed

+835
-401
lines changed

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

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

0 commit comments

Comments
 (0)