diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-05-15 14:06:53 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-05-15 14:06:53 +0900 |
| commit | d9f774d5b1fb3f8070f761791dd37b1a7e1e36a3 (patch) | |
| tree | 421eca17aa66279b70e5823f7e2dd1eeaf2df58b /COPYING | |
| parent | b774aeff37f194ebab32c205c6889d4710e4cd0f (diff) | |
ob-acl2: Update.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions