Z3Prover
diff --git a/‎configure‎
100644100755 b/‎configure‎
100644100755
diff --git a/‎scripts/build_libcxx_msan.sh‎
100644100755 b/‎scripts/build_libcxx_msan.sh‎
100644100755
diff --git a/‎scripts/trackall.sh‎
100644100755 b/‎scripts/trackall.sh‎
100644100755
diff --git a/‎scripts/vsts-mac.sh‎
100644100755 b/‎scripts/vsts-mac.sh‎
100644100755