diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 17:33:18 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 17:33:18 +0900 |
| commit | b49dafd4b6ac6c87f3db643455f3f4e24377b968 (patch) | |
| tree | 5feab71ec575faaace75a5de1bb2d830012b7d11 /cfg/jobs/acl2-theorems.before | |
| parent | 796b2c2d6d8a420637ec038da2e9e00df1265bc4 (diff) | |
check-backup-of-jupyter-notebook: Update.
Diffstat (limited to 'cfg/jobs/acl2-theorems.before')
0 files changed, 0 insertions, 0 deletions