diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-12-20 21:28:01 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-12-20 21:28:01 +0900 |
| commit | d3b95656e51eb7c65c9e916b58f4ad31196ee563 (patch) | |
| tree | 0ac0b15e27030fccbc54b6f3c29b58d08f6b0bd5 /jobs/acl2-theorems.run | |
| parent | f0f8add209fd1b34c955f502984a3f5111e74a32 (diff) | |
deploy-www-tojo-tokyo: test.
Diffstat (limited to 'jobs/acl2-theorems.run')
0 files changed, 0 insertions, 0 deletions