diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-15 20:15:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-15 20:15:14 +0200 |
| commit | 1ed00dca882118598d14eae315f608af9de758cf (patch) | |
| tree | a157267f0b78c939619cc1a87785db113b61738e /doc/tools/doc_status.py | |
| parent | d7ab7ff6be29554fc5287e2b7205dbd96213ae08 (diff) | |
| parent | a8d12b5a613400024eaeea37266cf7cf4bca3724 (diff) | |
Merge pull request #51694 from RicardRC/constconstconstconstconstconst
Fix compilation with float=64
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions