]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #1387 from joto/master
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 23 May 2019 21:54:29 +0000 (23:54 +0200)
committerGitHub <noreply@github.com>
Thu, 23 May 2019 21:54:29 +0000 (23:54 +0200)
commit17f130550ee77da527812e14dcadaea14b00e72f
treef96250baa8fe78ee35ecb823475cbae3452c5145
parent5fd8f5aa2770a8193a36de20462c710bb00a0222
parent251f335fe394e145593631ef8774bd0180b26d31
Merge pull request #1387 from joto/master

Fix some minor issues in docs.