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