| commit | f02e773de373118c6858fa57f84480ce7f1a8236 | [log] [tgz] |
|---|---|---|
| author | Eike Stepper <stepper@esc-net.de> | Mon Dec 16 10:33:00 2019 +0100 |
| committer | Eike Stepper <stepper@esc-net.de> | Mon Dec 16 10:33:00 2019 +0100 |
| tree | 2f8079c5ab2d50ab98b449693f0013eea5533a66 | |
| parent | 8781a41970b22105cf90449c7144992186c2a7e8 [diff] |
Reduce drop-separator margin
