From 0d81e68f862c11b054abb8d541363beb87b73a63 Mon Sep 17 00:00:00 2001
From: Zachary Yedidia <zyedidia@gmail.com>
Date: Mon, 6 Jul 2020 03:21:13 +0000
Subject: [PATCH] Chmod

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

diff --git a/tools/package-deb.sh b/tools/package-deb.sh
old mode 100644
new mode 100755