diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-13 16:50:01 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-13 16:52:13 +0900 |
| commit | b420ce87ceae55123e1780a7eddec7eea5388ab7 (patch) | |
| tree | 220f4e8fb0f1037abe8ce905e976ffc96c0665b3 /.gitignore | |
| parent | db8de2e5c6141cc67a7c524d52c328760b8b47cf (diff) | |
pigenhole: Remove finite-nat.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions