aboutsummaryrefslogtreecommitdiff
path: root/env
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:51:53 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-07-31 23:51:53 +0900
commit9058407773e850fc0b6f551ddebb44198b83b1eb (patch)
treebe2bfdf7480022f226a7d555ab3a93a0ef309c51 /env
parent81ecc44af8f13f06d5dd52d0628b081c162b6a26 (diff)
acl2-theorems: Add messages about git.
Diffstat (limited to 'env')
0 files changed, 0 insertions, 0 deletions