From 3a6e90b3b43c27869d9df6e2b174e1d7c05009d6 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 17 Aug 2022 15:51:13 +0900
Subject: learn-acl2.develop: Add learn-acl2.develop.

---
 jobs/learn-acl2.develop.run | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 jobs/learn-acl2.develop.run

diff --git a/jobs/learn-acl2.develop.run b/jobs/learn-acl2.develop.run
new file mode 120000
index 0000000..e4b0c23
--- /dev/null
+++ b/jobs/learn-acl2.develop.run
@@ -0,0 +1 @@
+learn-acl2.run
\ No newline at end of file
-- 
cgit v1.2.3