diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-08 19:48:55 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-08 19:48:55 +0900 |
| commit | a94b8f63a81d050dd6c28926af466a2f87af1c2a (patch) | |
| tree | ee2c411c2c6c004a22336c033c717a250feca727 /.gitignore | |
| parent | a79600511fa8843348ac2d5d1d4aec69e41cd813 (diff) | |
acl2: Update.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions