diff options
| author | jvoisin | 2024-07-05 20:48:54 +0200 |
|---|---|---|
| committer | jvoisin | 2024-07-05 20:48:54 +0200 |
| commit | 1f349eaebdad6e84e32fa32c3511e5a6d3c92110 (patch) | |
| tree | dad82a2f809e5af25c8ddbb1c7f0f27e8506a00e /debian/source | |
| parent | 79143354a0c9c4b797c6942c1f0c5a84547777ad (diff) | |
Disable PHP7.0 in the CI
It's not shipped anymore on Debian stable.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions