aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:42:50 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:42:50 +0900
commit3a6f1eea11ad60874915b08c331bf0a169908ecc (patch)
treee133cf94e93e87d3093ff59638bcbd5eb2fa64f7 /.gitignore
parent8306f24c8ac74fe7635f8a48aae3b98367bd2716 (diff)
acl2: Fix acl2s build method.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions