diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-08 17:44:15 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-08 17:44:15 +0900 |
| commit | a79600511fa8843348ac2d5d1d4aec69e41cd813 (patch) | |
| tree | 7689891863348b47d21ed3d477cdc024093b8915 /.gitignore | |
| parent | c56ebc5161a4b0bb4bf4f6a94a88f96ae327b0d3 (diff) | |
acl2-kernel: Add acl2-kernel.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions