From c39f0fca4bfaf63dd3fc82d33af309b78913b57f Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 31 Jul 2021 22:59:48 +0900
Subject: Mark acl2-verify.run file as executable.

---
 jobs/acl2-verify.run | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 jobs/acl2-verify.run

(limited to 'jobs/acl2-verify.run')

diff --git a/jobs/acl2-verify.run b/jobs/acl2-verify.run
old mode 100644
new mode 100755
-- 
cgit v1.2.3