diff options
| author | Diego Biurrun <diego@biurrun.de> | 2017-10-20 04:42:13 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2018-02-06 11:13:19 +0100 |
| commit | fd36cf6bf6524247a8ff6788c028836fe7d9fd20 (patch) | |
| tree | e51637033057001f158950f6e56251a4dc21ff90 /doc | |
| parent | 38434a9ff5b9a1a048f32c1c7e2a9519cf12f8ba (diff) | |
configure: Factorize check_64_bit()
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions