diff options
| author | Florian Diebold <[email protected]> | 2019-01-06 15:57:34 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-01-06 21:53:09 +0000 |
| commit | a4e97f5a2b68939c503662369b1f02c478768e6d (patch) | |
| tree | 2a47241c2a73fabb903157dd5cf71671df013980 /.gitignore | |
| parent | 31c1999505ccb51584dee45fb9fa1ffe16b1608e (diff) | |
Show types when hovering patterns as well
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions