summaryrefslogtreecommitdiffstats
path: root/contrib/check_procr.sh