diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 19:59:45 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 21:30:53 +0900 |
| commit | 2a59080328283ffae02e1aae3f73e1880f4412eb (patch) | |
| tree | 768559a23b3a03eae3c536b2b2a9b85eb6ddd48f /cfg/jobs/acl2-verify.sh | |
first commit.
Diffstat (limited to 'cfg/jobs/acl2-verify.sh')
0 files changed, 0 insertions, 0 deletions