diff options
| author | jvoisin | 2018-06-04 22:54:01 +0200 |
|---|---|---|
| committer | jvoisin | 2018-06-04 23:20:30 +0200 |
| commit | 6a1b0b31f0fbfa59a78a8b9f4f07bf9ed3f91cdf (patch) | |
| tree | fdb8e31a7ad5bf6982cb8c11a2012205a0cfe14f /README.md | |
| parent | 4ebf9754f84e28eb73a09df0f788b5be80c9c73e (diff) | |
Add more typing and use mypy in the CI
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions