Dirk Hohndel 76136010bf 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>
2021-01-06 10:18:23 -08:00
..
2018-07-26 16:32:51 +03:00
2018-07-26 16:32:51 +03:00
2018-07-26 16:32:51 +03:00
2018-07-26 16:32:51 +03:00
2020-05-04 13:39:18 -07:00
2019-12-29 12:32:02 -08:00
2019-12-29 12:31:43 -08:00
2019-12-25 02:57:42 +09:00
2018-07-26 16:32:51 +03:00
2018-07-26 16:32:51 +03:00