diff options
| author | Andrey Andreev <narf@devilix.net> | 2016-08-10 13:18:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-10 13:18:19 +0200 |
| commit | 28d97168bf82d50440a489efda32b707fbcd1dbd (patch) | |
| tree | a94ac84af274aa42bb1844b983a07daeff30222c /system/core/Benchmark.php | |
| parent | 7cac1ec60344b825a2be17fd8b8d55d78ba0cfe6 (diff) | |
| parent | a40418b794843f9ab37c30a909f3118a5c1c63af (diff) | |
Merge pull request #4755 from tianhe1986/develop_not_replace_is_double
CI_Unit_test: Do not replace "is_double" with "is_float".
Diffstat (limited to 'system/core/Benchmark.php')
0 files changed, 0 insertions, 0 deletions