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 'docs')
0 files changed, 0 insertions, 0 deletions