aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-08-17 15:52:46 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-08-17 15:52:46 +0900
commit1e0d876e49c767532e73c7afdaafa03b9cb0e416 (patch)
tree57d819db78233ba15b98c0462e192348f2c64197 /.gitignore
parent3a6e90b3b43c27869d9df6e2b174e1d7c05009d6 (diff)
learn-acl2: Refactor.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions