Delete start_port-macos.sh

leanprover-community · Feb 17, 2023 · 084cffd · 084cffd
1 parent 5e558ae
commit 084cffd
Showing 1 changed file with 0 additions and 86 deletions.
diff --git a/scripts/start_port-macos.sh b/scripts/start_port-macos.sh