diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-05-29 21:28:52 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-05-29 21:29:49 +0800 |
| commit | 20b8fe7881ee7ecfcf3e5d60692caea96e361eea (patch) | |
| tree | 23175331cb93462817064dd15c61a17482742246 /mingling/src/features.rs | |
| parent | c2a786e63c31b1c090d7a43db2484c390f9eb95f (diff) | |
Remove stale example-repl-advanced directory and repl_extra feature
Diffstat (limited to 'mingling/src/features.rs')
| -rw-r--r-- | mingling/src/features.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/mingling/src/features.rs b/mingling/src/features.rs index 365724c..ec9c7ad 100644 --- a/mingling/src/features.rs +++ b/mingling/src/features.rs @@ -174,17 +174,6 @@ pub const MINGLING_REPL: bool = false; #[cfg(feature = "repl")] #[allow(unused)] pub const MINGLING_REPL: bool = true; -/// Whether the `repl_extra` feature is enabled -/// Current: `disabled` -#[cfg(not(feature = "repl_extra"))] -#[allow(unused)] -pub const MINGLING_REPL_EXTRA: bool = false; - -/// Whether the `repl_extra` feature is enabled -/// Current: `enabled` -#[cfg(feature = "repl_extra")] -#[allow(unused)] -pub const MINGLING_REPL_EXTRA: bool = true; /// Whether the `ron_serde_fmt` feature is enabled /// Current: `disabled` #[cfg(not(feature = "ron_serde_fmt"))] |