diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:57:06 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-08-09 17:57:06 +0900 |
| commit | d29eaced5f838c164481e54deacd830b7f208e83 (patch) | |
| tree | 8a54cbce89670c625689dd0d49da1ba4b38dfe28 /.gitignore | |
| parent | 166042edda99f64bc9fc231ffe0b8dec530568fe (diff) | |
acl2: Update copyright.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions