diff options
| author | Nadrieril | 2019-03-18 02:08:26 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-18 02:08:26 +0100 |
| commit | d6e5c277e061d61b793286fb0ff2100cf203df89 (patch) | |
| tree | 335f6352e5e974caa8910bc0fae537bafc2fe18f /.gitignore | |
| parent | f112145814ed8243904d97c92a15bbdb7053d1a0 (diff) | |
Improve ergonomics of typechecking
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions