diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-08-25 19:18:52 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-08-25 19:18:52 +0900 |
| commit | e4bc64bc5707a44d9a83c82fbe4aa1c5b42b8adf (patch) | |
| tree | a2081dab4809585a5fa0daeb739a4d7933f52905 /tojo-tokyo/packages/acl2.scm | |
| parent | 40fca98efc01f0ee15f73b5960ab05862847370e (diff) | |
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions