summaryrefslogtreecommitdiffstats
path: root/krebs/5pkgs
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 /krebs/5pkgs
parentfaea33e1cb18010ac60f677ac2c18e813e284cc7 (diff)
types.label: drop redundant isString
Diffstat (limited to 'krebs/5pkgs')
0 files changed, 0 insertions, 0 deletions