From 4a390926d099219b866e660f3ae3595c200c7cbb Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Tue, 8 Jan 2019 22:31:03 +0100
Subject: [PATCH] [bootstrap] chmod 644

---
 bob/devtools/bootstrap.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 bob/devtools/bootstrap.py

diff --git a/bob/devtools/bootstrap.py b/bob/devtools/bootstrap.py
old mode 100755
new mode 100644
-- 
GitLab