diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-06 17:23:34 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-09 02:56:28 +0800 |
| commit | f191aeb3b7e783c781a6d9256a8d5609aea69e7f (patch) | |
| tree | c7bb78f59ed488582b41049f2b6ccffaac52a8f2 /mingling_cli/src/linter.rs | |
| parent | 5d741c3e32edf7c2667efbbc20d64fed8f4804f3 (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; |