diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2023-02-26 04:42:34 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2023-02-26 04:42:34 +0900 |
| commit | 3b37dbabef8baad6787aa84ba074d65d373b9620 (patch) | |
| tree | 0e247f20402c9b9f2e74b68465eb3acaaf4ecdd4 /tojo-tokyo/packages/acl2.scm | |
| parent | db4629e50d7b91b9b7d2ac25b2a00ef792879c2b (diff) | |
tojo-tokyo: Add emacs-cfrs.
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions