diff options
author | Andrey Andreev <narf@devilix.net> | 2017-01-10 14:03:14 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2017-01-10 14:03:14 +0100 |
commit | 1fb6958272b569c9f111f04375b90662726a92b8 (patch) | |
tree | 2033c3afd8a277f0a12347b1989a45ee027ad918 /user_guide_src | |
parent | 8f9ab65270ae033c5637f8a7d26ae834e9a71d5e (diff) |
Disallow Travis failures for PHP 7.1
Diffstat (limited to 'user_guide_src')
0 files changed, 0 insertions, 0 deletions