diff options
| author | Remi Collet <remi@remirepo.net> | 2019-08-27 16:30:19 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-08-27 16:30:19 +0200 |
| commit | 53edb91d753ba4ffbf7d52c0da278ac5d1326c8c (patch) | |
| tree | 68ab3386a31917d99ab4e49a6dd84a3bb86246bc /.gitignore | |
| parent | 19df36c528e5f86b2aa761f426ba76fa082b767c (diff) | |
add workaround to https://bugs.php.net/78465
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions