diff options
| author | Adam Gundry <adam@well-typed.com> | 2015-05-04 15:32:59 +0100 |
|---|---|---|
| committer | Adam Gundry <adam@well-typed.com> | 2015-05-04 15:32:59 +0100 |
| commit | 26a590c009005d77fbee9e2c79286bd93f7955f5 (patch) | |
| tree | 421725e7e44153bd57048864dcc8f208bd3b18d4 /.gitignore | |
| parent | 5bbae8b9bc17d2166c7e03d5f42f2b12fadf70b7 (diff) | |
Track API changes to support empty closed type familes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions