diff options
| author | Daniel Kesselberg <mail@danielkesselberg.de> | 2020-06-26 01:23:11 +0300 |
|---|---|---|
| committer | Daniel Kesselberg <mail@danielkesselberg.de> | 2020-06-26 01:29:57 +0300 |
| commit | e6dc1b2dcf206ea769d1b2d0737e78f4876b9e0a (patch) | |
| tree | c30fbdf342eac22f50f0b940dab1f67714ebd36f /composer.json | |
| parent | ed4afa55c1ccaef140ac310258ad837bf6af9557 (diff) | |
Remove unused jakub-onderka/php-parallel-lint
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Diffstat (limited to 'composer.json')
| -rw-r--r-- | composer.json | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/composer.json b/composer.json index bd5e43157dd..27be9530b3b 100644 --- a/composer.json +++ b/composer.json @@ -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": { |