jade
35c9069c66
This also fixes the script to not pass pre-commit by failing to parse an
int if this mistake is made again.
Change-Id:
|
||
---|---|---|
.. | ||
build-release-notes.nix | ||
build-release-notes.py | ||
buildtime_report.sh | ||
check-headers.nix | ||
check-headers.sh | ||
check-syscalls.nix | ||
check-syscalls.sh | ||
issue_import.py | ||
upload_manual.sh |