Clean up the tooling subcommittee folder#683

mhatzl wants to merge 1 commit into

Safety-Critical-Rust-Consortium:mainSafety-Critical-Rust-Consortium/safety-critical-rust-consortium:mainfrom

mhatzl:mh/tooling-folder-cleanupmhatzl/safety-critical-rust-consortium:mh/tooling-folder-cleanupCopy head branch name to clipboard