diff options
| author | tv <tv@krebsco.de> | 2017-06-18 16:17:55 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2017-06-18 16:17:55 +0200 |
| commit | 9b50125b86c36ecf3e290c99e323239994fa77a7 (patch) | |
| tree | 078487c3436298c77c548929276d7a21804f6e61 /.gitignore | |
| parent | faea33e1cb18010ac60f677ac2c18e813e284cc7 (diff) | |
types.label: drop redundant isString
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions