From ee58e40503585f14c05ef81c54b6b1538fe68e81 Mon Sep 17 00:00:00 2001 From: Masaya Tojo 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