From c086c3c9bf79896f7f1adf84cf216268e016cee2 Mon Sep 17 00:00:00 2001 From: Pablo Lezaeta Reyes Date: Tue, 3 Oct 2017 00:13:55 -0300 Subject: [PATCH] Remove unneded exec bits Signed-off-by: Pablo Lezaeta Reyes --- dev/colour-blacklist | 0 dev/colour-whitelist | 0 dev/history-list | 0 dev/pony-checklist | 0 4 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 dev/colour-blacklist mode change 100755 => 100644 dev/colour-whitelist mode change 100755 => 100644 dev/history-list mode change 100755 => 100644 dev/pony-checklist diff --git a/dev/colour-blacklist b/dev/colour-blacklist old mode 100755 new mode 100644 diff --git a/dev/colour-whitelist b/dev/colour-whitelist old mode 100755 new mode 100644 diff --git a/dev/history-list b/dev/history-list old mode 100755 new mode 100644 diff --git a/dev/pony-checklist b/dev/pony-checklist old mode 100755 new mode 100644