From 0eff1c77f250e6839086f41af0c79bb3e2e8ea39 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Thu, 19 Jul 2018 17:10:51 -0700 Subject: [PATCH] chmod +x for all tools. --- tools/autoformat.nom | 0 tools/upgrade.nom | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/autoformat.nom mode change 100644 => 100755 tools/upgrade.nom diff --git a/tools/autoformat.nom b/tools/autoformat.nom old mode 100644 new mode 100755 diff --git a/tools/upgrade.nom b/tools/upgrade.nom old mode 100644 new mode 100755