From ee0c031d2d309d5dba4d657b0806f5b5ee4f2911 Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Wed, 15 May 2013 00:07:40 -0700 Subject: [PATCH] * header_check.sh: forgot on exec flag --- development/tools/header_check.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 development/tools/header_check.sh diff --git a/development/tools/header_check.sh b/development/tools/header_check.sh old mode 100644 new mode 100755 -- 2.39.2