aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-08-09 17:55:05 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-08-09 17:55:05 +0900
commit166042edda99f64bc9fc231ffe0b8dec530568fe (patch)
treeb15803646479ce07735ecd0d7ea9a791a52a6b2a /.gitignore
parent18f52ea12bc085981f3402e013e9e87d6115f21a (diff)
acl2: Verson up to 8.5.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions