diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2015-07-19 14:51:11 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2015-07-19 14:51:11 +0200 |
commit | c4f3e5be3f4a24391a45d6199887d78e07359394 (patch) | |
tree | 0a19c10e89c670cd80b7098abe7b1020767f8583 /docs | |
parent | 9b70c7e68ccf3b1efdaff782f14b0549415f1339 (diff) |
shut up linter
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions