diff options
| author | tianhe1986 <w1s2j3229@163.com> | 2016-08-09 13:25:07 +0200 |
|---|---|---|
| committer | tianhe1986 <w1s2j3229@163.com> | 2016-08-09 13:25:07 +0200 |
| commit | a40418b794843f9ab37c30a909f3118a5c1c63af (patch) | |
| tree | f5e844c9fe234fe868177b03e3235c74baa742d8 /user_guide_src/source/_themes | |
| parent | a4ed425b218942ed7e60d993325f592f5c24e59e (diff) | |
CI_Unit_test: Do not replace "is_double" with "is_float".
Signed-off-by: tianhe1986 <w1s2j3229@163.com>
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions