From 98b5160ccc0aafdf3eb5c820463e6111b2efdece Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Sun, 9 Jan 2022 20:43:40 -0600
Subject: [PATCH] devrun.sh is now user executable.

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

diff --git a/devrun.sh b/devrun.sh
old mode 100644
new mode 100755