From 4c49b85c5dc202b6335bd3544c8ce3833409895e Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
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