diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-06-12 15:31:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-12 15:31:04 +0200 |
| commit | c073f552d9ed18acab02080871c2b70b4951156e (patch) | |
| tree | a0462714dda4727e54872701b811ab632d6d0100 /docs/tools.md | |
| parent | 81d09ad01c92a9547cdb388044b3b3ce8b077aca (diff) | |
docs(lint): add entry in manual (#6258)
Diffstat (limited to 'docs/tools.md')
| -rw-r--r-- | docs/tools.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tools.md b/docs/tools.md index 2754de43b..5307a6a89 100644 --- a/docs/tools.md +++ b/docs/tools.md @@ -12,6 +12,6 @@ and TypeScript: - [documentation generator (`deno doc`)](./tools/documentation_generator.md) - [formatter (`deno fmt`)](./tools/formatter.md) - [test runner (`deno test`)](./testing.md) -- linter (`deno lint`) [coming soon](https://github.com/denoland/deno/issues/1880) +- [linter (`deno lint`)](./tools/linter.md) <!-- prettier-ignore-end --> |