]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #843 from matejkrajcovic/patch-1
authormtmail <mtmail@gmx.net>
Mon, 30 Oct 2017 11:38:55 +0000 (12:38 +0100)
committerGitHub <noreply@github.com>
Mon, 30 Oct 2017 11:38:55 +0000 (12:38 +0100)
commitf79434f49d36c8e96bf00f750a7085685b001f6d
treead4de8012a9b265e665e40d0423245c7d9c75973
parente523b34db97d1a1f9ab3b0b07cf12f114a5166a1
parentfcba2eabc41928f0866cf25d7b84f84ae2776646
Merge pull request #843 from matejkrajcovic/patch-1

Fix typos in introduction.php