diff options
| author | sharkdp <davidpeter@web.de> | 2020-04-25 12:25:25 +0200 |
|---|---|---|
| committer | David Peter <sharkdp@users.noreply.github.com> | 2020-04-25 13:08:00 +0200 |
| commit | 48a7ce3bf23edee81274e6448cf98288ec6f7d31 (patch) | |
| tree | 565ac2cc740f1f873ff9bde60c8ce909959a4dd9 /assets | |
| parent | 3bcc4d0d5556ee329f3f351b034e4bb298eed9c3 (diff) | |
Write error messages to pager, if attached
closes #946
Diffstat (limited to 'assets')
0 files changed, 0 insertions, 0 deletions