diff options
author | Remi Collet <remi@remirepo.net> | 2020-02-19 18:18:35 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-02-19 18:18:35 +0100 |
commit | 4fde2238d1f56e998dc90aadcc28d15a90cf7483 (patch) | |
tree | 3363d4e8fdb8a7008742752e96137c8b960a9cdf /.gitignore | |
parent | 4bfb356aba523deb31a3c209bf54bad3fe473053 (diff) |
add workaround to https://bugs.php.net/78465
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions