diff options
| author | jvoisin | 2019-05-13 23:32:44 +0200 |
|---|---|---|
| committer | jvoisin | 2019-05-13 23:32:44 +0200 |
| commit | 6ae912e2dc8c7f47d240e6910e42bb31263eb339 (patch) | |
| tree | 9cae24658d6426c0a6369deee876eecec0cbe2f3 /src/tests/disable_function/config | |
| parent | 561b23ae210853a988e51502f5c9056f07a4d0c1 (diff) | |
Allow php > 7.4 to fail in the CI
Diffstat (limited to 'src/tests/disable_function/config')
0 files changed, 0 insertions, 0 deletions