diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-14 00:23:06 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-14 00:23:06 +0800 |
| commit | 1198f2b81a845bd475594cdf42d04e7bd750ebd2 (patch) | |
| tree | cdeaa872cd704dd579771c5e63c8e0026be1d5e8 /mingling/src/setups/repl_basic.rs | |
| parent | 1f2462ae53446c37c6cfe53a57ea86f695c4ef0a (diff) | |
chore: add "Doc Not Optimize" comments to source files
Mark all source files with a comment indicating they are not optimized
for documentation purposes.
Diffstat (limited to 'mingling/src/setups/repl_basic.rs')
| -rw-r--r-- | mingling/src/setups/repl_basic.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mingling/src/setups/repl_basic.rs b/mingling/src/setups/repl_basic.rs index ea20721..eac4b0b 100644 --- a/mingling/src/setups/repl_basic.rs +++ b/mingling/src/setups/repl_basic.rs @@ -1,3 +1,4 @@ +// Doc Not Optimize use std::io::Write; use mingling_core::{Program, ProgramCollect, hook::ProgramHook, setup::ProgramSetup}; |
