diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-22 00:10:39 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-22 00:10:39 +0200 |
| commit | 10ef58201629a84768729fc214fe0cb63a260d4d (patch) | |
| tree | 1de6a9bbb49ce6dc685c116351ed4aac413d8229 /.gitignore | |
| parent | fae2ed6b031df90e55665a557115f2a14b527256 (diff) | |
support pattern type annotations
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions