From a39180779b8cc553ef7de89ecca625d7d98c11c1 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 1 Aug 2021 01:17:39 +0900
Subject: acl2-theorems.develop: Fix config.

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

(limited to 'jobs/acl2-theorems.develop.run')

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