Branch: refs/heads/master
Home:
https://github.com/phpmyadmin/phpmyadmin
Commit: ba2b31c58103ebfe8556f3f8a8db3515f0c059ef
https://github.com/phpmyadmin/phpmyadmin/commit/ba2b31c58103ebfe8556f3f8a8d…
Author: Michal Čihař <michal(a)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(a)cihar.com>