diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2025-06-21 11:19:53 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2025-06-21 11:19:53 +0900 |
| commit | f6eee11131d3b690486cae8ed9d4d07c36493920 (patch) | |
| tree | 09f1d6bc1dc3ee70032d9ad466f1f8192a94cbb6 /tojo-tokyo/packages/acl2.scm | |
| parent | 34556ae887e65552870c3048979703841388f503 (diff) | |
Remove emacs-ob-acl2
Diffstat (limited to 'tojo-tokyo/packages/acl2.scm')
0 files changed, 0 insertions, 0 deletions