diff options
| author | Will Dietz <w@wdtz.org> | 2017-11-30T17·38-0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2017-11-30T18·45-0600 |
| commit | 79f5c296c05bd8754d90272468c985f34b824b4b (patch) | |
| tree | 426de36559c0dfc3769bd35dc96fdea17646c81e /.editorconfig | |
| parent | cd74a55afc31638940d5b6a011afc3a4ebedec9d (diff) | |
ignore "interrupted" exception in progress callback
Context/discusson: https://github.com/NixOS/nix/issues/1692#issuecomment-348282301
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions