diff options
| author | Remi Collet <remi@remirepo.net> | 2023-07-06 10:01:27 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-07-06 10:01:27 +0200 |
| commit | 53be94f69a997ebfacbc9372c438175220ee6dae (patch) | |
| tree | d9da958ebe2087f2641409e24c5f6fd005575bc8 /.gitignore | |
| parent | 20ecfd217408256f4a70dd4b5ba526c90b8df082 (diff) | |
add option to skip tests
fix extension version
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions