diff options
| author |  Anton Lundin <glance@acc.umu.se> | 2014-06-17 20:01:14 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2014-06-18 04:56:08 -0700 |
| commit | d8ec3988b139020ff8e8202568832120b362d422 (patch) | |
| tree | 112072fd5be6497a319f14f76b15df779c02c412 /profile.h | |
| parent | aad393aa4f39935eb0183daed02dc0e408758742 (diff) | |
| download | subsurface-d8ec3988b139020ff8e8202568832120b362d422.tar.gz | |
Fix building with NO_MARBLE again
Back in 708f19830e2a ("Planner: New plannerSettingsWidget") the Globe
widget handling changed, and this updates the NO_MARBLE build option to
work after that.
Signed-off-by: Anton Lundin <glance@acc.umu.se>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'profile.h')
0 files changed, 0 insertions, 0 deletions