From 4c49b85c5dc202b6335bd3544c8ce3833409895e Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Wed, 17 Aug 2022 15:49:24 +0900 Subject: learn-acl2: Make executable. --- jobs/learn-acl2.run | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 jobs/learn-acl2.run diff --git a/jobs/learn-acl2.run b/jobs/learn-acl2.run old mode 100644 new mode 100755 -- cgit v1.2.3