diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-06-11 09:38:03 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-06-11 09:38:03 -0700 |
| commit | de6ee1f8a950cd6af24dfcb72888140d3e5be2f4 (patch) | |
| tree | b5d1701bc1ebe86114329093933f9cb78223c2b8 /worldmap-options.h | |
| parent | b70c877b3ce56155107791e3c38a4c9c4d915dff (diff) | |
| download | subsurface-de6ee1f8a950cd6af24dfcb72888140d3e5be2f4.tar.gz | |
ENABLE_PLANNER is obsolete
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'worldmap-options.h')
0 files changed, 0 insertions, 0 deletions