Delete mk_all.sh

It is obsolete now that `lake exe mk_all` exists.
YaelDillies · Jun 1, 2024 · c470211 · c470211
1 parent 40d37af
commit c470211
Showing 1 changed file with 0 additions and 28 deletions.
diff --git a/scripts/mk_all.sh b/scripts/mk_all.sh