aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:39:44 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:39:44 +0900
commit93625d3fad9993a8e5187ff85a0c0010b005ffcd (patch)
treef2c0f0bc0ca1747f6644bf7d808c7026321225d5 /.gitignore
parentf515370c1e184e543d747ff1daed2901e90124dc (diff)
acl2-theorems: Update messages.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions