diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-15 23:32:42 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2022-07-15 23:32:42 +0900 |
| commit | ed32e9654d7ac587470f3a9190c708483d68de52 (patch) | |
| tree | 394f8e54b441aa3cddbf3a02403bf813b1d11dc6 /.gitignore | |
| parent | 11baab578f78913dd282c4a0a9f882aed9070787 (diff) | |
perm: Add (in-package "ACL2").
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions