Also rename in lint.sh

This commit is contained in:
David Robertson 2021-08-12 10:40:32 +01:00
parent 92a8e68ba2
commit 314a739160
1 changed files with 1 additions and 1 deletions

View File

@ -94,7 +94,7 @@ else
"scripts-dev/build_debian_packages" "scripts-dev/build_debian_packages"
"scripts-dev/sign_json" "scripts-dev/sign_json"
"scripts-dev/update_database" "scripts-dev/update_database"
"contrib" "synctl" "setup.py" "synmark" "stubs" "ci" "contrib" "synctl" "setup.py" "synmark" "stubs" ".ci"
) )
fi fi
fi fi