chore: reorganize dev tools into dev/ directory and consolidate configsHEADmain

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.

1 files changed, 0 insertions, 14 deletions

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::*;