diff options
author | 2017-06-15 18:02:48 +0300 | |
---|---|---|
committer | 2017-06-15 18:02:48 +0300 | |
commit | ab29028d5fa3aa14e043fa133e481fe2c165eca1 (patch) | |
tree | a6f0f42b899a6bd755300e9b4d8929f48b0b7932 /src/especialize.sml | |
parent | 47e5f0f3e63b48e6758d1d52edffbcb8a9e74fd7 (diff) |
Option to prefix all user JavaScript FFI functions with a module name (jsModule .urp option).
Diffstat (limited to 'src/especialize.sml')
0 files changed, 0 insertions, 0 deletions