diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:55:05 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:55:05 +0900 |
| commit | 166042edda99f64bc9fc231ffe0b8dec530568fe (patch) | |
| tree | b15803646479ce07735ecd0d7ea9a791a52a6b2a /.gitignore | |
| parent | 18f52ea12bc085981f3402e013e9e87d6115f21a (diff) | |
acl2: Verson up to 8.5.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions