diff options
Diffstat (limited to 'mingling_core/src/program/exec.rs')
| -rw-r--r-- | mingling_core/src/program/exec.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mingling_core/src/program/exec.rs b/mingling_core/src/program/exec.rs index 5948cfe..923b47b 100644 --- a/mingling_core/src/program/exec.rs +++ b/mingling_core/src/program/exec.rs @@ -1,3 +1,4 @@ +// Doc Not Optimize #![allow(clippy::borrowed_box)] #![allow(clippy::too_many_lines)] |