Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 1095829d9ffe0ae7d7f729b7d516bdb873fe1e61
https://github.com/phpmyadmin/phpmyadmin/commit/1095829d9ffe0ae7d7f729b7d516bdb873fe1e61
Author: Michal Čihař <[email protected]>
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ř <[email protected]>
_______________________________________________
Git mailing list
[email protected]
https://lists.phpmyadmin.net/mailman/listinfo/git
