leanprover
diff --git a/Diff for: ‎test/49/test.sh
100644100755 b/Diff for: ‎test/49/test.sh
100644100755
diff --git a/Diff for: ‎test/50/test.sh
100644100755 b/Diff for: ‎test/50/test.sh
100644100755
diff --git a/Diff for: ‎test/62/clean.sh
100644100755 b/Diff for: ‎test/62/clean.sh
100644100755
diff --git a/Diff for: ‎test/62/test.sh
100644100755 b/Diff for: ‎test/62/test.sh
100644100755