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 +
 jobs/acl2-verify.develop.run   | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 120000 jobs/acl2-theorems.develop.run
 delete mode 120000 jobs/acl2-verify.develop.run

(limited to 'jobs')

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
diff --git a/jobs/acl2-verify.develop.run b/jobs/acl2-verify.develop.run
deleted file mode 120000
index 72cb64f..0000000
--- a/jobs/acl2-verify.develop.run
+++ /dev/null
@@ -1 +0,0 @@
-./acl2-verify.run
\ No newline at end of file
-- 
cgit v1.2.3