subsurface/desktop-widgets
willemferguson 6212bb6721 Preferences UI: final cleanup
This commit does some final cleaning up to the code, mostly deleting
white space and comments.

Signed-off-by: willemferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2019-12-25 02:57:42 +09:00
..
2015-10-30 10:36:49 -07:00
2019-12-25 02:57:42 +09:00
2019-01-02 09:45:01 -08:00
2017-04-29 13:32:55 -07:00
2017-11-30 23:14:46 -08:00
2019-06-03 19:55:19 +02:00
2015-10-30 10:36:49 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2015-10-30 10:36:49 -07:00
2017-03-06 06:40:00 -08:00
2017-11-30 23:14:46 -08:00