From 3040e3a9e8c910a17e7d1fc0d3367cee2fcca3d2 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 31 Jul 2021 22:49:47 +0900
Subject: Remvoe cfg directory.

---
 cfg/jobs/acl2-theorems.run | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 cfg/jobs/acl2-theorems.run

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

diff --git a/cfg/jobs/acl2-theorems.run b/cfg/jobs/acl2-theorems.run
deleted file mode 100755
index 9df1723..0000000
--- a/cfg/jobs/acl2-theorems.run
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-for path in $(find -type f -name '*.lisp'); do
-    laminarc run acl2-verify path="$path"
-done
-- 
cgit v1.2.3