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