diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-06 17:23:34 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-07 16:57:24 +0800 |
| commit | 6df0dd50b14f8fb07da2fe78d71311e6b127c6aa (patch) | |
| tree | 09b0afe787cecb37f31f857f8b36bd2859035dcd /mingling_cli/src/linter.rs | |
| parent | 0e15654b14d064040e6e6ddca541a1441a5f1e4e (diff) | |
feat(linter): refactor lint registry into program resource
Extract lint registry loading from cmd_explain into a shared
program-level resource initialized via setup.
Diffstat (limited to 'mingling_cli/src/linter.rs')
| -rw-r--r-- | mingling_cli/src/linter.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mingling_cli/src/linter.rs b/mingling_cli/src/linter.rs index 4916eba..30d79de 100644 --- a/mingling_cli/src/linter.rs +++ b/mingling_cli/src/linter.rs @@ -3,4 +3,4 @@ pub mod cmd_lint; pub mod cmd_ra_lints; pub mod mlint_attr; pub mod mlint_report; - +pub mod registry; |