diff options
| author | Remi Collet | 2023-04-04 16:28:48 +0200 |
|---|---|---|
| committer | Remi Collet | 2023-04-04 16:28:48 +0200 |
| commit | 76962aff1e1594eff609ea9912be8e7de1fde1f6 (patch) | |
| tree | f9661b2e2948854763e576ae6653e239562390a5 /.github | |
| parent | 097e957276a9d3df617b1c0e3698d9c12f24ec3e (diff) | |
check during configure for NTS/ZTS build
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions