Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 1095829d9ffe0ae7d7f729b7d516bdb873fe1e61 https://github.com/phpmyadmin/phpmyadmin/commit/1095829d9ffe0ae7d7f729b7d516... Author: Michal Čihař michal@cihar.com Date: 2017-05-15 (Mon, 15 May 2017)

Changed paths: M test/ci-lint

Log Message: ----------- Avoid linting removed files

We can not lint files which have been removed in the commit.

Signed-off-by: Michal Čihař michal@cihar.com