diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-05-15 14:56:18 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-05-15 14:56:18 +0900 |
| commit | 5e62c7a246fe0c34137dad482945be8eebd5548f (patch) | |
| tree | 0dc3929b338ad6a9f061cb8928691470d91aac6e /.gitignore | |
| parent | b790c21081a6e50790d0a1bea96265f680cf151d (diff) | |
emacs-xyz: Add emacs-ob-acl2.
* emacs-xyz.scm: New file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions