diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-04 02:54:28 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-04 02:54:28 +0000 |
| commit | 267e2c2e8226790f5d294ac06941ac5498608db4 (patch) | |
| tree | 1119ee579375dcb4e335880ac2bad1453462dbbc /html-test/ref/mini_BugExportHeadings.html | |
| parent | 8d82524d9d9b278eae08993c2d4c54173d68481c (diff) | |
Turn some uses of error into recoverable warnings
This should at the very least not abort when something weird happens. It
does feel like we should have a type that carries these errors until the
end however as the user might not see them unless they are printed at
the end.
Diffstat (limited to 'html-test/ref/mini_BugExportHeadings.html')
0 files changed, 0 insertions, 0 deletions