diff options
author | Phil Sturgeon <email@philsturgeon.co.uk> | 2011-09-16 15:16:36 +0200 |
---|---|---|
committer | Phil Sturgeon <email@philsturgeon.co.uk> | 2011-09-16 15:16:36 +0200 |
commit | 05bd914a180a3c2d3dbbe2e0bf7b73dded3acd0c (patch) | |
tree | 906ef5a43563bee6c15b8d8c222ed87d5e7c9691 /user_guide/nav | |
parent | 1fa4f87f359a3483fa54dad42d3c9d7e5fa45ccb (diff) | |
parent | 255a5c162a90279de3fca53d889d8c0daf2be7c0 (diff) |
Merge pull request #453 from jeroenvdgulik/file-cache-unlink-bug
Unlink raised an error if cache file does not exist when you try to delete it
Diffstat (limited to 'user_guide/nav')
0 files changed, 0 insertions, 0 deletions