]> git.openstreetmap.org Git - nominatim.git/commit
remove phpunit config key deprecated since version 3.5
authormarc tobias <mtmail@gmx.net>
Fri, 8 Feb 2019 23:34:04 +0000 (00:34 +0100)
committermarc tobias <mtmail@gmx.net>
Fri, 8 Feb 2019 23:37:11 +0000 (00:37 +0100)
commitb56f7e8ad24be72ebeabfcd9ee32cf1ccdfd30e5
tree7bb51c03c03f4865af84dd322edef9c419187a59
parent57ca1e0cf6133506920fadc0eb5a0ee3d1ed5b91
remove phpunit config key deprecated since version 3.5
test/php/phpunit.xml