diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-06-06 23:16:51 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-06-06 23:16:51 +0800 |
| commit | 81635b93c597b10282cb14e0873f5e3d22395186 (patch) | |
| tree | 200fd2632653fefe751ab5bfa6ebc7a8d4161638 /mingling/src/res.rs | |
| parent | a16d1e6f204cc83104ad3dcc4f4266e304214044 (diff) | |
Rename `ExitCode` to `ResExitCode` and `REPL` to `ResREPL`
Diffstat (limited to 'mingling/src/res.rs')
| -rw-r--r-- | mingling/src/res.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mingling/src/res.rs b/mingling/src/res.rs index d625f8f..982fe91 100644 --- a/mingling/src/res.rs +++ b/mingling/src/res.rs @@ -1,2 +1,5 @@ mod exit_code; pub use exit_code::*; + +#[allow(unused_imports)] +pub use mingling_core::core_res::*; |