From 48b0de1986c485d802e979a5f510038b34c22a3b Mon Sep 17 00:00:00 2001 From: Max Date: Tue, 31 May 2022 17:18:01 -0400 Subject: [PATCH] build scripts for gr3.9 and gr3.10 --- add_gr3.9.py | 0 do_sed.sh | 0 install-gr3.9.sh | 0 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 add_gr3.9.py mode change 100644 => 100755 do_sed.sh mode change 100644 => 100755 install-gr3.9.sh diff --git a/add_gr3.9.py b/add_gr3.9.py old mode 100644 new mode 100755 diff --git a/do_sed.sh b/do_sed.sh old mode 100644 new mode 100755 diff --git a/install-gr3.9.sh b/install-gr3.9.sh old mode 100644 new mode 100755