[MNT] Rename infer.sh

aiwongs · May 21, 2023 · d48979e · d48979e
1 parent 46a9cbc
commit d48979e
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/scripts/infer-law.sh → scripts/infer.sh b/scripts/infer-law.sh → scripts/infer.sh