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, 28 deletions

diff --git a/mingling_ci/src/lib.rs b/mingling_ci/src/lib.rs
deleted file mode 100644
index 32a0cbd..0000000
--- a/mingling_ci/src/lib.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-#![deny(clippy::pedantic)]
-#![deny(clippy::nursery)]
-#![allow(clippy::redundant_pub_crate)]
-#![allow(clippy::missing_const_for_fn)]
-
-use mingling::macros::{gen_program, help};
-
-pub(crate) mod cmd;
-pub(crate) mod git;
-pub(crate) mod task;
-
-/// Mingling CI's Resources
-pub mod res;
-
-/// Log exporter for CI reports
-pub mod reporter;
-
-pub(crate) mod examples;
-pub(crate) mod markdown;
-pub(crate) mod progress;
-pub(crate) mod tools;
-
-#[help]
-pub fn render_fallback(_: EntryFallback) -> String {
-    include_str!("../help.txt").to_string()
-}
-
-gen_program!();