From 8e3e3ee985045c1209e1fdf7cb4a0f44fc59e229 Mon Sep 17 00:00:00 2001 From: Dmitriy Ryajov Date: Tue, 7 Mar 2023 18:11:29 -0600 Subject: [PATCH] change perms --- scripts/install-circom.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/install-circom.sh diff --git a/scripts/install-circom.sh b/scripts/install-circom.sh old mode 100644 new mode 100755