diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-09-26 15:59:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-26 15:59:24 +0200 |
| commit | 18b7109f76a15334a6cd1400b3ac9ee8e21e9171 (patch) | |
| tree | 59db967728467e33b97be80ed903172583022153 /cli/rt/06_util.js | |
| parent | 98c9798cb757045b3f46573c5baa80e2cfe672aa (diff) | |
refactor: prune unneeded JS code (#7689)
Diffstat (limited to 'cli/rt/06_util.js')
| -rw-r--r-- | cli/rt/06_util.js | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cli/rt/06_util.js b/cli/rt/06_util.js index 011fa6de5..f4804c519 100644 --- a/cli/rt/06_util.js +++ b/cli/rt/06_util.js @@ -46,10 +46,6 @@ return promise; } - function notImplemented() { - throw new Error("not implemented"); - } - function immutableDefine( o, p, @@ -139,7 +135,6 @@ window.__bootstrap.util = { log, setLogDebug, - notImplemented, createResolvable, assert, AssertionError, |