diff options
author | Remi Collet <remi@remirepo.net> | 2023-11-08 08:56:34 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2023-11-08 08:56:34 +0100 |
commit | baa129a73d922f1415b03bed2e9284d963279e28 (patch) | |
tree | 07d2109ad254c5dca24b1d057c1e127abbea8444 /.gitignore | |
parent | df34508c23da9370665dfaafae9332fe5d7f6dee (diff) |
build sockets extension statically
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions