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 | 4f704b41fccf29efee31cf44dc5fd88c9e2b2089 (patch) | |
| tree | 76de9345c8051b83d92f82e240a0ded7a030fe10 /tv | |
| parent | 8cb9d8ac4f99ed0a930b1657c4ef2ea769c5a86c (diff) | |
types.label: drop redundant isString
Diffstat (limited to 'tv')
0 files changed, 0 insertions, 0 deletions