diff options
author | Andrey Andreev <narf@devilix.net> | 2016-08-10 13:18:19 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2016-08-10 13:19:29 +0200 |
commit | 353f7483c61e7e4d375d4637f1e97406669648ac (patch) | |
tree | f4a566778f7650fc311981967392aebf19708010 /user_guide_src/source/general/caching.rst | |
parent | 7e6db8ef0dd87c11a77f674e77d8b47489eef8a5 (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 'user_guide_src/source/general/caching.rst')
0 files changed, 0 insertions, 0 deletions