]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1fd8f41 cfe8105)
Merge pull request #38152 from nextcloud/chore/psalm-baseline-editorconfig
authorChristoph Wurst <ChristophWurst@users.noreply.github.com>
Wed, 10 May 2023 09:08:59 +0000 (11:08 +0200)
committerGitHub <noreply@github.com>
Wed, 10 May 2023 09:08:59 +0000 (11:08 +0200)
chore: Fine-tune editorconfig for build/psalm-baseline.xml


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