Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: bda40357ed4b85c986ae7c6bf40d6b672ee695ff https://github.com/phpmyadmin/phpmyadmin/commit/bda40357ed4b85c986ae7c6bf40d... Author: Michal Čihař <michal@cihar.com> Date: 2013-05-31 (Fri, 31 May 2013) Changed paths: M phpunit.xml.dist Log Message: ----------- Exclude phpseclib from coverage reports