From c39f0fca4bfaf63dd3fc82d33af309b78913b57f Mon Sep 17 00:00:00 2001 From: Masaya Tojo 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') diff --git a/jobs/acl2-verify.run b/jobs/acl2-verify.run old mode 100644 new mode 100755 -- cgit v1.2.3