summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-06-18 16:17:55 +0200
committertv <tv@krebsco.de>2017-06-18 16:17:55 +0200
commit9b50125b86c36ecf3e290c99e323239994fa77a7 (patch)
tree078487c3436298c77c548929276d7a21804f6e61 /.gitignore
parentfaea33e1cb18010ac60f677ac2c18e813e284cc7 (diff)
types.label: drop redundant isString
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions