diff options
| author | Remi Collet <remi@remirepo.net> | 2019-01-03 09:23:13 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-01-03 09:23:13 +0100 |
| commit | 55678558d984a68c75228e1899cef23a8b2782ae (patch) | |
| tree | f1d906513b4c2da9313983185c33a1d67d3ef3d2 /.gitignore | |
| parent | 32a217370e47720508922c97bd860d6f20553a62 (diff) | |
raise minimal PHP version to 7.2
sources from github
open https://github.com/krakjoe/pthreads/pull/913 file list
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions