diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:15:30 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 16:15:30 +0900 |
| commit | ee58e40503585f14c05ef81c54b6b1538fe68e81 (patch) | |
| tree | 3caa1c76ecd0809c81079db055b0a7658f90c92c /jobs/infix-to-prefix.develop.run | |
| parent | 4df315333f1ab526f6f74e1c6573278863818742 (diff) | |
build-acl2: Make executable.
Diffstat (limited to 'jobs/infix-to-prefix.develop.run')
0 files changed, 0 insertions, 0 deletions