diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-11-05 15:53:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 15:53:21 +0100 |
| commit | 791119d4af1066b20fa2b5bf8fc82d04d843d51d (patch) | |
| tree | 94890756f4380fb2c1d8abd92af66128533a1535 /docs/contributing/development_tools.md | |
| parent | e7cfd90b0f72874aa1535a382df32dce28bd587a (diff) | |
build: rewrite tools/ scripts to deno (#8247)
This commit rewrites scripts in "tools/" directory
to use Deno instead of Python. In return it allows
to remove huge number of Python packages in "third_party/".
Diffstat (limited to 'docs/contributing/development_tools.md')
| -rw-r--r-- | docs/contributing/development_tools.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/contributing/development_tools.md b/docs/contributing/development_tools.md index db6f9a25a..a11e7beff 100644 --- a/docs/contributing/development_tools.md +++ b/docs/contributing/development_tools.md @@ -23,13 +23,13 @@ cargo test std_tests Lint the code: ```shell -./tools/lint.py +deno run -A --unstable ./tools/lint.js ``` Format the code: ```shell -./tools/format.py +deno run -A --unstable ./tools/format.js ``` ### Profiling |