diff options
| author | Nick White <git@njw.name> | 2020-11-10 11:22:36 +0000 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2020-11-10 11:22:36 +0000 |
| commit | 7921b5ca6d6667dda09ae67dcc1ee987aef62ebb (patch) | |
| tree | ecdd6961258706bd4284d7bd684b52a4fdfc898c /preproc/cmd | |
| parent | 198f8215f8dd0460608abcd03fa49451462c9d11 (diff) | |
[rescribe] Handle errors in processbook correctly, and improve console output
Diffstat (limited to 'preproc/cmd')
0 files changed, 0 insertions, 0 deletions