From 588d1e0d49c99b7bf2109927f6d9f83fb0dcb1c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Tue, 28 May 2019 11:07:17 +0200
Subject: [PATCH] Missing flag

---
 CI/ci-cppcheck.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 CI/ci-cppcheck.sh

diff --git a/CI/ci-cppcheck.sh b/CI/ci-cppcheck.sh
old mode 100644
new mode 100755
-- 
2.22.0