diff options
Diffstat (limited to 'cfg/jobs/acl2-theorems.before')
-rwxr-xr-x | cfg/jobs/acl2-theorems.before | 3 |
1 files changed, 0 insertions, 3 deletions
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 . |