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>