diff options
| author | hendriktews | 2016-12-16 09:02:43 +0100 |
|---|---|---|
| committer | GitHub | 2016-12-16 09:02:43 +0100 |
| commit | aa284916a5c10598efa4fe21753f91fa0a17d262 (patch) | |
| tree | 99b157a01e18268d7d4d5ca0e13c184d9e6b7b86 /doc | |
| parent | 481ebe1efe9127bfd2a16ff54b0c692a8fb9a0a5 (diff) | |
| parent | b0553954a4324efd873f7caae85f0ebc0665883c (diff) | |
Merge pull request #133 from hendriktews/file-error
die gracefully when visiting files in nonexisting directories
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions