aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-08 19:48:55 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-08 19:48:55 +0900
commita94b8f63a81d050dd6c28926af466a2f87af1c2a (patch)
treeee2c411c2c6c004a22336c033c717a250feca727 /.gitignore
parenta79600511fa8843348ac2d5d1d4aec69e41cd813 (diff)
acl2: Update.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions