aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-08-01 02:26:13 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-08-01 02:26:13 +0900
commit141c7296fb09887358e331b310f3259472b2970e (patch)
tree786fc81a5a25b0ba1ca3fc991456888fa78bb5dc /.gitignore
parentf539971f55719078ea7ecefa264efeb179a731b4 (diff)
Add sicp-acl2 job.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions