]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1245 from lonvia/address-levels-from-json
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 1 Dec 2018 20:43:53 +0000 (21:43 +0100)
committerGitHub <noreply@github.com>
Sat, 1 Dec 2018 20:43:53 +0000 (21:43 +0100)
Make rank assignments configurable

1  2 
lib/setup/SetupClass.php
sql/functions.sql

Simple merge
Simple merge