From 1aeeed930aba17a58bb085ed85b4497b5ced56da Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Sun, 8 Dec 2019 09:44:05 +0300
Subject: remove a bunch of obsolete files

---
 utils/gitlab-ci/php-lint.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 utils/gitlab-ci/php-lint.sh

(limited to 'utils/gitlab-ci/php-lint.sh')

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
-- 
cgit v1.2.3-54-g00ecf