diff options
| author | Remi Collet <remi@remirepo.net> | 2019-02-20 15:10:36 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-02-20 15:10:36 +0100 |
| commit | 896b704c4bf7d7b530a9ae3366dd42499926e5f8 (patch) | |
| tree | 371bbb1551e4aa139413f9f1997d919b78f3b88d /Makefile | |
| parent | 1f1d202f538cbe5fd4f72e39b9c2ea45ef97815f (diff) | |
test build for https://github.com/sebastianbergmann/php-timer/pull/21 fix for 32-bit where large value are converted to float
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions