From afca0a1419f13c94fcac268e40c915a1efe481f1 Mon Sep 17 00:00:00 2001
From: ThatBen <thatbenbierens@gmail.com>
Date: Thu, 4 Jul 2024 08:22:12 +0200
Subject: [PATCH] chmod forcodexers

---
 forcodexers/download_prover.sh | 0
 forcodexers/run_bootstrap.sh   | 0
 forcodexers/run_host.sh        | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 forcodexers/download_prover.sh
 mode change 100644 => 100755 forcodexers/run_bootstrap.sh
 mode change 100644 => 100755 forcodexers/run_host.sh

diff --git a/forcodexers/download_prover.sh b/forcodexers/download_prover.sh
old mode 100644
new mode 100755
diff --git a/forcodexers/run_bootstrap.sh b/forcodexers/run_bootstrap.sh
old mode 100644
new mode 100755
diff --git a/forcodexers/run_host.sh b/forcodexers/run_host.sh
old mode 100644
new mode 100755