From c734cf14b4876a2cc2b71a3b4830a53d8db4ab6a Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Fri, 22 Jan 2021 17:30:26 +0100
Subject: [PATCH] [config] Fix chmod

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

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