|
|
6b5d91e447
|
Replace is_none() -> unwrap() with unwrap_or_else()
|
2016-09-05 16:15:54 +02:00 |
|
|
|
7187ad89b1
|
If an error happens while viewing, trace it
|
2016-07-31 10:39:43 +02:00 |
|
|
|
703788d9d2
|
Replace trace_error() with trace_error_exit() where appropriate
|
2016-07-16 21:57:29 +02:00 |
|
|
|
5bde1cc207
|
Split into several files
|
2016-06-09 15:41:42 +02:00 |
|
