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-verify.develop.run | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 jobs/acl2-verify.develop.run

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

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