summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorRalph Krimmel2019-11-27 15:17:00 +0100
committerRalph Krimmel2019-11-27 15:17:00 +0100
commit3e8cf5778f6aaa149a45aec25e2ec6de5d6048e3 (patch)
treee226ce1632a1db722c9269ea34108d94213d8eb4 /docs
parent1881775379d9d1a358d1dc9762524723cc005673 (diff)
Fixing linting problems
Signed-off-by: Ralph Krimmel <rkrimme1@gwdg.de>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions