diff options
| author | Jakob Unterwurzacher | 2016-01-24 13:07:18 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-01-24 13:07:18 +0100 |
| commit | dac9f71089b1f20493b29edcec848ab188944990 (patch) | |
| tree | 671790ea50f08b85b1e1b30e3871f1ebaf062247 /Documentation/.gitignore | |
| parent | 1030522fe6b434c95045986ebe3bec4bf2bad492 (diff) | |
tests: more helpful error message when the tmp dir cannot be cleared
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions