aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-17 13:44:08 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-17 13:44:08 -0400
commit4c34d3d6afd313df90273eb4aafcd0a08c4def22 (patch)
treeae94ea41d06ce745bebd67f59187fe982168d410 /demo
parent67e602c219b37abee5755a8935dd6c3d02e6cdcc (diff)
Don't try to compile sigString() calls to JavaScript
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions