diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2018-12-19 10:46:04 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-19 10:46:04 -0500 |
commit | eb1dc1a3b6c6f9127105b96c26ba122d0bb9da7b (patch) | |
tree | a45d1f1f9ccdbff0b24b0d0083fcb7fe1886a82c /src/settings.sig | |
parent | c88aa571002f0dd713158f8b80bfeacbd0a69569 (diff) | |
parent | 8bb360844cbf9861364fd3f8b39b0f1232711e92 (diff) |
Merge pull request #146 from fabriceleal/utf-icu
utf-8 aware functions for basis. unit-testing.
Diffstat (limited to 'src/settings.sig')
-rw-r--r-- | src/settings.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.sig b/src/settings.sig index f94525bb..a6a9c5fc 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -37,6 +37,8 @@ signature SETTINGS = sig val configSrcLib : string ref val configInclude : string ref val configSitelisp : string ref + val configIcuIncludes : string ref + val configIcuLibs : string ref val libUr : unit -> string val libC : unit -> string |