diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-07-05 10:55:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-05 10:55:11 +0200 |
| commit | 6f63a01302355077af2459c96a17e299c32b2960 (patch) | |
| tree | c0c6ed6e20f8dc26b436e9c193a962dbd09ffcb7 /editor | |
| parent | 5a48b428fd349411456b785a5cb9a6ee0d5b1506 (diff) | |
| parent | 211c4518903d82068c061943064824ac5595fd38 (diff) | |
Merge pull request #8943 from RandomShaper/fix-error-handling
Implement well-defined handling of unrecoverable errors
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions