diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 01:14:09 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-14 01:14:09 +0900 |
| commit | 40bc428412b900204786503221c7b64515ffef6e (patch) | |
| tree | 3a107d097eb006aa49ac930315afd5d61e8341c3 /.gitignore | |
| parent | c041d498e9fd5be5d0ad8b545200a18194a907f3 (diff) | |
guix-update: Build only acl2.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions