linters: Fix check-version-number
[ghc.git] / .gitlab / linters /
drwxr-xr-x   ..
-rwxr-xr-x 1019 check-cpp.py
-rwxr-xr-x 566 check-makefiles.py
-rwxr-xr-x 174 check-version-number.sh
-rw-r--r-- 3244 linter.py