diff options
author | Joas Schilling <213943+nickvergessen@users.noreply.github.com> | 2023-01-18 09:37:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-18 09:37:37 +0100 |
commit | c35d82aece11027bf0a4cc246b249ac2f137f025 (patch) | |
tree | 6e971771a075ec5574d485a0d3fc625532ce96a2 | |
parent | 1a0f9b57be37088efb7aaa9961825039a0abd711 (diff) | |
parent | de5fb804783c7306581fca4b929c9b73201f1f78 (diff) | |
download | nextcloud-server-c35d82aece11027bf0a4cc246b249ac2f137f025.tar.gz nextcloud-server-c35d82aece11027bf0a4cc246b249ac2f137f025.zip |
Merge pull request #36198 from nextcloud/3rdparty-remove-ds
chore: drop dependency php-ds
m--------- | 3rdparty | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/3rdparty b/3rdparty -Subproject 07227c18b941482ef691ee7e38529faba97014f +Subproject 299e51ccbb82251452de18d52a9b4b7e8207eb8 |