Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: ba2b31c58103ebfe8556f3f8a8db3515f0c059ef https://github.com/phpmyadmin/phpmyadmin/commit/ba2b31c58103ebfe8556f3f8a8db... Author: Michal Čihař michal@cihar.com Date: 2014-06-24 (Tue, 24 Jun 2014)
Changed paths: M phpunit.xml.dist
Log Message: ----------- Do not build HTML coverage logs, we do not use them at all
Signed-off-by: Michal Čihař michal@cihar.com