diff options
| author | Andrey Andreev <narf@devilix.net> | 2018-12-17 08:29:25 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2018-12-17 08:30:19 +0100 |
| commit | c585decebf6c35fc7f4eaedb80a860089f045464 (patch) | |
| tree | 068144121a6a84434770ef404e723e2aec0cdd9d /user_guide_src/Makefile | |
| parent | 41bba2fea6fafa315db0a21093722f920455e3b1 (diff) | |
[ci skip] Merge pull request #5651 from pawelkg/develop
Test if cache file is writable before unlink it
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions