diff options
| author | Andrey Andreev <narf@devilix.net> | 2016-08-11 13:13:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-11 13:13:11 +0200 |
| commit | c82e9968326b949d4cdad384f4645b28fa7c2f17 (patch) | |
| tree | f47b7c15a8fb71e13970e936b8e303d727253e02 /user_guide_src/source/general/welcome.rst | |
| parent | c4bd43432df03e4f4835c7689c8ed722cd2c3020 (diff) | |
| parent | e1f76634b6c658680c2ea869dc1bcc38828c7da0 (diff) | |
Merge pull request #4761 from tianhe1986/develop_cache_file_check
Cache_file: use is_file() for checking instead of file_exists().
Diffstat (limited to 'user_guide_src/source/general/welcome.rst')
0 files changed, 0 insertions, 0 deletions