aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2022-08-09 17:57:06 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2022-08-09 17:57:06 +0900
commitd29eaced5f838c164481e54deacd830b7f208e83 (patch)
tree8a54cbce89670c625689dd0d49da1ba4b38dfe28 /.gitignore
parent166042edda99f64bc9fc231ffe0b8dec530568fe (diff)
acl2: Update copyright.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions