Rename directory script -> tools

krivenko · Jan 16, 2024 · 5a86054 · 5a86054
1 parent 017eacb
commit 5a86054
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/script/git-pre-commit-check-versions → tools/git-pre-commit-check-versions b/script/git-pre-commit-check-versions → tools/git-pre-commit-check-versions
diff --git a/script/update-copyright-years.sh → tools/update-copyright-years.sh b/script/update-copyright-years.sh → tools/update-copyright-years.sh