diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 00:28:03 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 00:28:03 +0900 |
| commit | a4a05ead2f0178ded2e97be33443e65089aa74fe (patch) | |
| tree | ee753e62f0139f0babd2a18af15d35cd3565392d /jobs/acl2-theorems.before | |
| parent | a73ad8b9e36026ec1c3fa3b4e848f77fc0f7b6f0 (diff) | |
check-notebooks-backup: Display message when failed.
Diffstat (limited to 'jobs/acl2-theorems.before')
0 files changed, 0 insertions, 0 deletions