diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2022-04-19 22:14:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-19 22:14:00 -0400 |
| commit | ae479b1036630970c0d0aaf67cbb500a3c7ed622 (patch) | |
| tree | 14cd085a22b0ec34f24d3654b1525bf3dbd2f766 /cli/tools/mod.rs | |
| parent | 803499886b90536cdbb9d40eaa9085157772d771 (diff) | |
perf(fmt/lint): incremental formatting and linting (#14314)
Diffstat (limited to 'cli/tools/mod.rs')
| -rw-r--r-- | cli/tools/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cli/tools/mod.rs b/cli/tools/mod.rs index 7c5d79744..a6eaeb70e 100644 --- a/cli/tools/mod.rs +++ b/cli/tools/mod.rs @@ -4,6 +4,7 @@ pub mod bench; pub mod coverage; pub mod doc; pub mod fmt; +pub mod incremental_cache; pub mod installer; pub mod lint; pub mod repl; |