subsurface/desktop-widgets
jan Iversen 26be37fe58 desktop_widget: preferences_graph, replace setBuehlmann
setBuehlmann is really planner_deco_mode = BUEHLMANN, change to
ensure consistency.

Signed-off-by: Jan Iversen <jani@apache.org>
2018-08-12 07:36:10 -07:00
..
2015-10-30 10:36:49 -07:00
2017-12-30 08:23:22 -08:00
2017-04-29 13:32:55 -07:00
2017-11-30 23:14:46 -08:00
2017-11-30 23:14:46 -08:00
2017-04-29 13:32:55 -07: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
2017-11-30 23:14:46 -08:00
2015-10-30 10:36:49 -07:00
2017-04-29 13:32:55 -07:00
2017-03-06 06:40:00 -08:00
2017-11-30 23:14:46 -08:00