Add simlink to macos-12

model-checking · Oct 24, 2023 · 727b819 · 727b819
1 parent e7ffbce
commit 727b819
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/setup/macos-12 b/scripts/setup/macos-12
@@ -0,0 +1 @@
+macos