change shell script permissions

bsubercaseaux · Jun 9, 2024 · 112df08 · 112df08
1 parent cb29f91
commit 112df08
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/cube_checking/solve_cube.sh b/cube_checking/solve_cube.sh
diff --git a/cube_checking/verify_tautology.sh b/cube_checking/verify_tautology.sh