diff options
| author | jvoisin | 2019-10-17 22:49:57 +0200 |
|---|---|---|
| committer | jvoisin | 2019-10-17 22:51:00 +0200 |
| commit | a389cc760aebc621bfc4016f6393d0ce2381d2d1 (patch) | |
| tree | 523cef8f2cac838f7ff64a352436d56804977e42 /dolphin | |
| parent | 4034cf9a1af52cb26ec551cea6af90683677e132 (diff) | |
Fix a stacktrace in ./mat2 when the file can't be cleaned
Diffstat (limited to 'dolphin')
0 files changed, 0 insertions, 0 deletions