aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:07:09 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:07:09 +0900
commit89e3dc0758aeb08341508916489096d7eeca6b37 (patch)
tree1d2f328b03db352bc35d22b323dd79e5439554ef /.gitignore
parentf000e7ad02d95a53e05665543ca276c25e42978c (diff)
acl2: Use ccl.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions