remove files in dev

pitmonticone · Oct 8, 2024 · 6ce0727 · 6ce0727
1 parent 6f43e14
commit 6ce0727
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 159 deletions.
diff --git a/scripts/install_pre-push.sh b/scripts/install_pre-push.sh
diff --git a/scripts/pre-push.sh b/scripts/pre-push.sh
diff --git a/scripts/run_before_push.sh b/scripts/run_before_push.sh