]> git.openstreetmap.org Git - nominatim.git/commit
more format changes for Mr. Travis
authorThomasBarris <thomas.barris@googlemail.com>
Fri, 31 Aug 2018 20:01:53 +0000 (22:01 +0200)
committerThomasBarris <thomas.barris@googlemail.com>
Fri, 31 Aug 2018 20:01:53 +0000 (22:01 +0200)
commitaa6ac5a75130c066e2b46af0a12d3fe71e614d1b
treeb8906dec660d662a5ba7d596dc10877079e05e0a
parent42e79bfab9f378b70583ae023e5f19678804f1ac
more format changes for Mr. Travis
lib/SetupClass.php