Dirk Hohndel 5861da0bce Remove unused part of the geocoding preferences
And always turn on geocoding. The user needs to trigger this manually
anyway, so there's no point in having the extra option in the preferences.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2015-10-06 00:01:30 +01:00
..
2015-09-03 07:40:14 -07:00
2014-06-26 15:47:02 -07:00
2014-02-08 08:00:27 -08:00
2014-10-14 20:33:46 +02:00
2015-07-31 11:01:57 -07:00
2015-06-03 21:26:31 -07:00
2015-10-02 17:30:21 -04:00
2015-09-16 21:16:58 -07:00
2014-10-18 15:16:15 -07:00
2014-10-18 15:16:15 -07:00
2014-12-01 14:19:03 -08:00
2015-08-15 05:01:33 -07:00
2014-10-18 15:16:15 -07:00
2014-11-17 06:02:21 +00:00
2015-08-31 15:12:18 -07:00
2015-02-23 09:31:08 -08:00
2015-02-23 09:31:08 -08:00