From 60294a876d91e19c57941d6682d2833f1f105bf9 Mon Sep 17 00:00:00 2001
From: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
Date: Fri, 17 Apr 2020 19:19:46 +0100
Subject: [PATCH] Allow editconf to be ran

---
 management/editconf.py | 0
 tools/editconf.py      | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 management/editconf.py
 mode change 100644 => 100755 tools/editconf.py

diff --git a/management/editconf.py b/management/editconf.py
old mode 100644
new mode 100755
diff --git a/tools/editconf.py b/tools/editconf.py
old mode 100644
new mode 100755