From 3040e3a9e8c910a17e7d1fc0d3367cee2fcca3d2 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sat, 31 Jul 2021 22:49:47 +0900 Subject: Remvoe cfg directory. --- cfg/jobs/acl2-theorems.before | 3 --- 1 file changed, 3 deletions(-) delete mode 100755 cfg/jobs/acl2-theorems.before (limited to 'cfg/jobs/acl2-theorems.before') diff --git a/cfg/jobs/acl2-theorems.before b/cfg/jobs/acl2-theorems.before deleted file mode 100755 index da530b7..0000000 --- a/cfg/jobs/acl2-theorems.before +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -guix environment --ad-hoc nss-certs git -- git clone https://git.tojo.tokyo/acl2-theorems.git . -- cgit v1.2.3