]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1917 from lonvia/docs-rank-levels
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 11 Aug 2020 13:12:16 +0000 (15:12 +0200)
committerGitHub <noreply@github.com>
Tue, 11 Aug 2020 13:12:16 +0000 (15:12 +0200)
docs: add tables for the meaning of address and search ranks


Trivial merge