diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 20:42:50 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-09 20:42:50 +0900 |
| commit | 3a6f1eea11ad60874915b08c331bf0a169908ecc (patch) | |
| tree | e133cf94e93e87d3093ff59638bcbd5eb2fa64f7 /.gitignore | |
| parent | 8306f24c8ac74fe7635f8a48aae3b98367bd2716 (diff) | |
acl2: Fix acl2s build method.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions