From 359909318b13e71ec2276fec3dda0df36097921d Mon Sep 17 00:00:00 2001 From: Kenneth Jao Date: Tue, 18 Apr 2023 03:31:24 -0500 Subject: [PATCH] Execute permission to build_docs --- build_docs | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 build_docs diff --git a/build_docs b/build_docs old mode 100644 new mode 100755