diff options
| author | jvoisin | 2020-12-31 17:11:01 +0100 |
|---|---|---|
| committer | jvoisin | 2020-12-31 17:11:01 +0100 |
| commit | f3d652b6b549132b03cd397477ba34990d0ef380 (patch) | |
| tree | e50df4e2e21a00d8050aff1180e637bb0230d4d5 /doc | |
| parent | dc900601f36465ddef997a9f59fc208b00086033 (diff) | |
Add php8 to the CI
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions