diff options
| author | Ralph Krimmel | 2019-11-28 12:26:50 +0100 |
|---|---|---|
| committer | Ralph Krimmel | 2019-11-28 14:00:34 +0100 |
| commit | 9534cdafbfa42b3d80901c8e06807c62513784fd (patch) | |
| tree | 60af1701a119262d77691152a93ce40ce4e6a705 /public/docs | |
| parent | 3fb3ca54e9c038ad091d234b19f5bd64003f8321 (diff) | |
Making the linter happy by removing superfluous ;
Signed-off-by: Ralph Krimmel <rkrimme1@gwdg.de>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions