diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-03 17:49:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-03 17:49:20 +0100 |
| commit | ef641a07b8b0e34f93fe0aab03cdcd863f86e889 (patch) | |
| tree | e1c464843af08a9d0a493cf0177d8467dd738309 /tools/util.js | |
| parent | 8e914be7420715620cad74fbb020c5e87ac875a2 (diff) | |
build: remove eslint (#8232)
This commit updates "third_party" submodule
to remove "eslint" and its dependencies.
In result "tools/package.json" has been removed.
Diffstat (limited to 'tools/util.js')
0 files changed, 0 insertions, 0 deletions