summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-04-16 22:41:32 +0200
committerNadrieril2019-04-16 22:41:32 +0200
commit724bb9db8cafc72f3c4e4f4d28626be80528dac4 (patch)
treee1fc8511201d636889f1998392e54ced3b66fcf6 /.gitignore
parentc8db72fee29f6b7e3dc37873803ac0ac9eee9fdc (diff)
Add typecheck failure tests
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions