diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-02-21 09:32:32 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-02-21 09:32:32 -0800 |
commit | 8e3586920f1ce0e279f277c0370baa59024846ca (patch) | |
tree | 7fbe2573bbe6a64d75e72c4c56b22c754360e661 /src/library_html5.js | |
parent | cb7bdc3ea72f234d333e119ecd9fdb85b55faafe (diff) | |
parent | 3cc5ca09f2313b95cdf923da905abe87bd0b78fc (diff) |
Merge pull request #2136 from rjanicek/worker-console
Don't redefine console if it already exists like in Chrome worker.
Diffstat (limited to 'src/library_html5.js')
0 files changed, 0 insertions, 0 deletions