diff options
author | Ralph Krimmel | 2019-11-28 12:26:50 +0100 |
---|---|---|
committer | Ralph Krimmel | 2019-11-29 15:54:58 +0100 |
commit | 4e1d4868e74946ae587690d5399d9d5b5981a36f (patch) | |
tree | 60af1701a119262d77691152a93ce40ce4e6a705 /docs/dev | |
parent | 9534cdafbfa42b3d80901c8e06807c62513784fd (diff) | |
parent | 32113e874d090bdb315b912e2a926dbbd31ccd38 (diff) |
Making the linter happy by removing superfluous ;
Signed-off-by: Ralph Krimmel <rkrimme1@gwdg.de>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions