15 May
2017
15 May
'17
10:47 a.m.
Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 1095829d9ffe0ae7d7f729b7d516bdb873fe1e61
https://github.com/phpmyadmin/phpmyadmin/commit/1095829d9ffe0ae7d7f729b7d51…
Author: Michal Čihař <michal(a)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(a)cihar.com>