From 74a2ab5bb4db57791389bd793b3283acc0d3981e Mon Sep 17 00:00:00 2001 From: Masaya Tojo 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 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