From 0af682d38ae9e60095dc2a0e11830fc8fec15d02 Mon Sep 17 00:00:00 2001
From: mid-kid <esteve.varela@gmail.com>
Date: Wed, 24 Oct 2018 21:46:44 +0200
Subject: [PATCH] chmod +x tools/free_space.awk

---
 tools/free_space.awk | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/free_space.awk

diff --git a/tools/free_space.awk b/tools/free_space.awk
old mode 100644
new mode 100755