From 406b889c1f68ec4d186b1922697c967e1f94057b Mon Sep 17 00:00:00 2001
From: auronandace <auronandace@googlemail.com>
Date: Thu, 19 Feb 2026 11:55:31 +0000
Subject: [PATCH] remove unneeded file

---
 src/platform/redox/clone.rs | 1 -
 src/platform/redox/mod.rs   | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 src/platform/redox/clone.rs

diff --git a/src/platform/redox/clone.rs b/src/platform/redox/clone.rs
deleted file mode 100644
index cf4e52da82..0000000000
--- a/src/platform/redox/clone.rs
+++ /dev/null
@@ -1 +0,0 @@
-pub use redox_rt::{proc::*, thread::*};
diff --git a/src/platform/redox/mod.rs b/src/platform/redox/mod.rs
index f9c963dd47..06bd4327db 100644
--- a/src/platform/redox/mod.rs
+++ b/src/platform/redox/mod.rs
@@ -56,7 +56,6 @@ use crate::{
 
 pub use redox_rt::proc::FdGuard;
 
-mod clone;
 mod epoll;
 mod event;
 mod exec;