diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-23 12:38:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-23 12:38:17 +0100 |
| commit | 50db0e66ac8c00f176c706cee0c3a5469453acce (patch) | |
| tree | 8ef45399f10c32b5dad742cf30180b569519cb70 /platform/javascript/engine/externs.js | |
| parent | 18023cc3ede6fd84842db77019085c383e807016 (diff) | |
| parent | 4617a7fa9cea323978f14053ef2726c84e9bd267 (diff) | |
Merge pull request #43747 from Faless/js/4.0_lint
[HTML5] Linting, fixes.
Diffstat (limited to 'platform/javascript/engine/externs.js')
| -rw-r--r-- | platform/javascript/engine/externs.js | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/platform/javascript/engine/externs.js b/platform/javascript/engine/externs.js deleted file mode 100644 index 1a94dd15ec..0000000000 --- a/platform/javascript/engine/externs.js +++ /dev/null @@ -1,3 +0,0 @@ -var Godot; -var WebAssembly = {}; -WebAssembly.instantiate = function(buffer, imports) {}; |