diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 01:50:38 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 01:50:50 +0900 |
| commit | 7753010b8671e2ed7aeabe2efe34b07e90ce8472 (patch) | |
| tree | 6265d04a63389de45d9ca20f4b07941ad2a0932d /jobs/acl2-theorems.develop.run | |
| parent | eb99fd7c66fd61047d8b36546409bf71be025613 (diff) | |
standard-52-card-deck: Fix to build command.
Diffstat (limited to 'jobs/acl2-theorems.develop.run')
0 files changed, 0 insertions, 0 deletions