diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-29 23:00:41 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-29 23:00:41 +0900 |
| commit | c56ebc5161a4b0bb4bf4f6a94a88f96ae327b0d3 (patch) | |
| tree | 282b631cc23f2abcd51e91be0beb4295b5b20632 /.gitignore | |
| parent | 59c353833fe0fed9af054b1557e63d6235485af7 (diff) | |
acl2: Build basic.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions