diff options
author | fab <fabrice.leal.ch@gmail.com> | 2018-12-17 22:41:16 +0000 |
---|---|---|
committer | fab <fabrice.leal.ch@gmail.com> | 2018-12-17 22:41:16 +0000 |
commit | 2d699b85cfb3f137e8963ad9a355918e40b39d62 (patch) | |
tree | 6016932b05369c71f7601ec09667a93e9cd89e3a /src/settings.sig | |
parent | 757e40719735a45085343e90b53674b9b276b5cb (diff) |
test 6
Diffstat (limited to 'src/settings.sig')
-rw-r--r-- | src/settings.sig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sig b/src/settings.sig index 22dc80a2..29817467 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -37,6 +37,7 @@ 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 |