Merge pull request #21592 from nextcloud/debt/noid/drop-parallel-lint

Remove unused jakub-onderka/php-parallel-lint
This commit is contained in:
Roeland Jago Douma 2020-06-30 19:40:56 +02:00 committed by GitHub
commit 89b548d6cc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 603 additions and 260 deletions

View file

@ -16,8 +16,6 @@
"ext-pdo": "*"
},
"require-dev": {
"jakub-onderka/php-parallel-lint": "^0.9.2",
"jakub-onderka/php-console-highlighter": "^0.3.2",
"nextcloud/coding-standard": "^0.3.0"
},
"scripts": {

861
composer.lock generated

File diff suppressed because it is too large Load diff