From ef245b82922cbcd1e746aa4910d74d31c23640dc Mon Sep 17 00:00:00 2001
From: Brad Nelson <flagxor@gmail.com>
Date: Mon, 18 Jul 2022 14:06:29 -0700
Subject: [PATCH] Fixing permissions.

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

diff --git a/tools/check_web_sanity.js b/tools/check_web_sanity.js
old mode 100644
new mode 100755