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 /.rsync-filter | |
parent | faea33e1cb18010ac60f677ac2c18e813e284cc7 (diff) |
types.label: drop redundant isString
Diffstat (limited to '.rsync-filter')
0 files changed, 0 insertions, 0 deletions