diff options
Diffstat (limited to 'jslib/urweb.js')
| -rw-r--r-- | jslib/urweb.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jslib/urweb.js b/jslib/urweb.js index 46c24bff..16424eb3 100644 --- a/jslib/urweb.js +++ b/jslib/urweb.js @@ -45,3 +45,4 @@ function ts(x) { return x.toString() } function bs(b) { return (b ? "True" : "False") } function pf() { alert("Pattern match failure") } + |