From 74a2ab5bb4db57791389bd793b3283acc0d3981e Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 8 Sep 2021 19:59:18 +0900
Subject: Delete acl2-kernel.scm file.

---
 tojo-tokyo/packages/acl2-kernel.scm | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 tojo-tokyo/packages/acl2-kernel.scm

(limited to 'tojo-tokyo/packages')

diff --git a/tojo-tokyo/packages/acl2-kernel.scm b/tojo-tokyo/packages/acl2-kernel.scm
deleted file mode 100644
index e69de29..0000000
-- 
cgit v1.2.3