diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-02-19 09:32:55 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-02-19 12:02:58 -0800 |
| commit | f78e686b3536b498b4bcea63197795dc3032f0e1 (patch) | |
| tree | dd7bcd3d646362923a514643aa95e1452d0703c0 /.gitmodules | |
| parent | c1aaea8d766598861359bc8b05428b7c7ac50f8c (diff) | |
| download | subsurface-f78e686b3536b498b4bcea63197795dc3032f0e1.tar.gz | |
Desktop: remove checkmark from Filter divelist entry in Log menu
That's redundant with the information that we show in the window title (and
only risks going out of sync, as it is right now).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions