diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-11-15 15:43:04 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-11-15 15:43:04 +0100 |
| commit | e84af512729cafa43ed831540d4406e1bb913689 (patch) | |
| tree | 9044918a02dfc7449f526f99d2f4636ed28bb71a /docs/observations.md | |
| parent | d61b00604d9a04c7f4a3933e42eee746583ba643 (diff) | |
distinguish between general i/o error and write exception when copying files
Diffstat (limited to 'docs/observations.md')
0 files changed, 0 insertions, 0 deletions