diff options
author | Dario Lombardo <lomato@gmail.com> | 2020-08-24 14:26:23 +0200 |
---|---|---|
committer | Dario Lombardo <lomato@gmail.com> | 2020-08-24 14:26:23 +0200 |
commit | b586f257891b8ee6a06126ff3521183e62468cdb (patch) | |
tree | 44a8021d9c37b4aa617acf82df6911b6b7ecf9bc /tools | |
parent | 9cd9f02b34eb71bbcaeccacd3bd6fd9352f678be (diff) |
tools: rename validate-clang-check.py to validate-clang-check.sh.
This reflects the actual language used in the code (sh).
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/validate-clang-check.sh (renamed from tools/validate-clang-check.py) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/validate-clang-check.py b/tools/validate-clang-check.sh index a77a9d5434..a77a9d5434 100755 --- a/tools/validate-clang-check.py +++ b/tools/validate-clang-check.sh |