meta: replace in-repo copy of mie with git submodule

2026-01-19 14:27:55 +00:00
parent ee0d649db8
commit d2abb6faa3
72 changed files with 4 additions and 6019 deletions
--- a/.gitmodules
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "mie"]
+	path = mie
+	url = https://g.wash.red/wash/mie.git