From ee58e40503585f14c05ef81c54b6b1538fe68e81 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 9 Sep 2021 16:15:30 +0900
Subject: build-acl2: Make executable.

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

(limited to 'jobs')

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