diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/checkconfig.sh (renamed from tools/codecheck-config) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/codecheck-config b/tools/checkconfig.sh index ff38bac7d..ff38bac7d 100755 --- a/tools/codecheck-config +++ b/tools/checkconfig.sh |