diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-17 13:44:08 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-17 13:44:08 -0400 |
| commit | 4c34d3d6afd313df90273eb4aafcd0a08c4def22 (patch) | |
| tree | ae94ea41d06ce745bebd67f59187fe982168d410 /src/monoize.sig | |
| parent | 67e602c219b37abee5755a8935dd6c3d02e6cdcc (diff) | |
Don't try to compile sigString() calls to JavaScript
Diffstat (limited to 'src/monoize.sig')
0 files changed, 0 insertions, 0 deletions