summaryrefslogtreecommitdiff
path: root/tools/check_scripts.sh
AgeCommit message (Expand)Author
2024-01-01core: update copyright datesSébastien Helleu
2023-08-15core: convert scripts local variables to lower caseSébastien Helleu
2023-03-23core: replace `set -e` by `set -o errexit` in shell scriptsSébastien Helleu
2023-01-04core: add script check_scripts.shSébastien Helleu