diff options
| author | Ralph Krimmel | 2019-11-27 15:17:00 +0100 |
|---|---|---|
| committer | Ralph Krimmel | 2019-11-27 15:17:00 +0100 |
| commit | 3e8cf5778f6aaa149a45aec25e2ec6de5d6048e3 (patch) | |
| tree | e226ce1632a1db722c9269ea34108d94213d8eb4 /docs | |
| parent | 1881775379d9d1a358d1dc9762524723cc005673 (diff) | |
Fixing linting problems
Signed-off-by: Ralph Krimmel <rkrimme1@gwdg.de>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions