diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2021-01-05 12:08:09 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-06 10:18:23 -0800 |
commit | 76136010bf72e6452701dd7dffc24c9eabfaf97d (patch) | |
tree | 4e9257f9d600e0822c706154410ab171b29888ce /dives | |
parent | d63910caa3dfffb6c8ad85a5db322d57a86eb3e3 (diff) | |
download | subsurface-76136010bf72e6452701dd7dffc24c9eabfaf97d.tar.gz |
preferences: remove pointless member
This could never have worked the way it was used.
Some whitespace fixes snuck into this commit.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dives')
0 files changed, 0 insertions, 0 deletions