]> git.openstreetmap.org Git - nominatim.git/commitdiff
adapt PR changes to use new variable naming convention
authorEric Stadtherr <estadtherr@caci.com>
Sat, 21 Jul 2018 23:09:59 +0000 (17:09 -0600)
committerEric Stadtherr <estadtherr@caci.com>
Sat, 21 Jul 2018 23:09:59 +0000 (17:09 -0600)

No differences found