diff options
| author | Julien Voisin | 2023-04-04 18:19:26 +0200 |
|---|---|---|
| committer | GitHub | 2023-04-04 18:19:26 +0200 |
| commit | e8bed0a966db8640f5161a12b4353a37d4483617 (patch) | |
| tree | f9661b2e2948854763e576ae6653e239562390a5 /doc/source/papers.rst | |
| parent | 097e957276a9d3df617b1c0e3698d9c12f24ec3e (diff) | |
| parent | 76962aff1e1594eff609ea9912be8e7de1fde1f6 (diff) | |
check during configure for NTS/ZTS build
As ZTS is not supported per #123
And to avoid such issue as #450
Diffstat (limited to 'doc/source/papers.rst')
0 files changed, 0 insertions, 0 deletions