diff options
| author | Andrew Dolgov <[email protected]> | 2019-12-08 09:44:05 +0300 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2019-12-08 09:44:05 +0300 |
| commit | 1aeeed930aba17a58bb085ed85b4497b5ced56da (patch) | |
| tree | accdd3e52fa828f7af699f8a98a3934f6792508d /utils/gitlab-ci/php-lint.sh | |
| parent | f4945b1ba174a9b509b3f0d5e17e9d0538b7b05b (diff) | |
remove a bunch of obsolete files
Diffstat (limited to 'utils/gitlab-ci/php-lint.sh')
| -rw-r--r-- | utils/gitlab-ci/php-lint.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/utils/gitlab-ci/php-lint.sh b/utils/gitlab-ci/php-lint.sh deleted file mode 100644 index 9bd513f88..000000000 --- a/utils/gitlab-ci/php-lint.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -set -e - -exec find . -name "*.php" -not -path "*/lib/*" -print0 | xargs -0 -n1 php -l |