# HG changeset patch # User Yuya Nishihara # Date 1443359784 -32400 # Node ID 06f1b9943b7ecdea90acaae92ec082cba4b13d16 # Parent d90c30801cdfed143ed2fce3b8cb76d4a2291944 check-seclevel: set executable bit as it has shebang diff -r d90c30801cdf -r 06f1b9943b7e doc/check-seclevel.py