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 | |
| parent | 4df315333f1ab526f6f74e1c6573278863818742 (diff) | |
build-acl2: Make executable.
Diffstat (limited to 'jobs')
| -rwxr-xr-x[-rw-r--r--] | jobs/build-acl2.run | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/jobs/build-acl2.run b/jobs/build-acl2.run index 00b163d..00b163d 100644..100755 --- a/jobs/build-acl2.run +++ b/jobs/build-acl2.run |