From ec9edc294fd5e7e29977fc7b0e6fb953422bc0e2 Mon Sep 17 00:00:00 2001
From: 魏曹先生 <1992414357@qq.com>
Date: Wed, 19 Aug 2026 05:54:00 +0800
Subject: chore: reorganize dev tools into dev/ directory and consolidate
 configs

Move CI, dev tools, and configs from root-level scattered locations into
a
unified `dev/` directory structure. Update all references across build
scripts, documentation, and editor configurations.

Also consolidate editor config generation into build.rs for automated
synchronization of rust-analyzer settings across VS Code and Zed.
---
 mingling_ci/src/res.rs | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 mingling_ci/src/res.rs

(limited to 'mingling_ci/src/res.rs')

diff --git a/mingling_ci/src/res.rs b/mingling_ci/src/res.rs
deleted file mode 100644
index 54ed503..0000000
--- a/mingling_ci/src/res.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-mod collect_logs;
-pub use collect_logs::*;
-
-mod crate_config;
-pub use crate_config::*;
-
-mod features;
-pub use features::*;
-
-mod manifests;
-pub use manifests::*;
-
-mod print;
-pub use print::*;
-- 
cgit