diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-16 15:44:37 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-16 15:44:37 +0900 |
| commit | 643b6edc3896cb190b202c9c2da32054c127511c (patch) | |
| tree | 437fc486dc3d032b066d1eb7daac6f024c4d25c5 /jobs/acl2-verify.develop.run | |
| parent | 8386f51fbf78009cfaa0ccdede66d2c39d0029a0 (diff) | |
guix-gc: Add.
Diffstat (limited to 'jobs/acl2-verify.develop.run')
0 files changed, 0 insertions, 0 deletions