]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bc29e36 e6dc1b2)
Merge pull request #21592 from nextcloud/debt/noid/drop-parallel-lint
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Tue, 30 Jun 2020 17:40:56 +0000 (19:40 +0200)
committerGitHub <noreply@github.com>
Tue, 30 Jun 2020 17:40:56 +0000 (19:40 +0200)
Remove unused jakub-onderka/php-parallel-lint


Trivial merge
Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server