]> git.openstreetmap.org Git - nominatim.git/commitdiff
fix a couple errors with naming convention changes
authorEric Stadtherr <estadtherr@caci.com>
Sun, 22 Jul 2018 02:43:48 +0000 (20:43 -0600)
committerEric Stadtherr <estadtherr@caci.com>
Sun, 22 Jul 2018 02:43:48 +0000 (20:43 -0600)

No differences found