diff options
author | Remi Collet <remi@remirepo.net> | 2024-01-12 15:18:38 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2024-01-12 15:18:38 +0100 |
commit | 7b7b4b8dd829b1ae6a72ee3df130115273353c0e (patch) | |
tree | 0061bd8900541be9a00823339f66d9c9b90e7933 /0001-skip-tests-requiring-git-repository.patch | |
parent | b4dd5d832e49eaf641edd5831895757ae4e80a77 (diff) |
optimize sources retrieval
Diffstat (limited to '0001-skip-tests-requiring-git-repository.patch')
0 files changed, 0 insertions, 0 deletions