diff options
| author | mwenzkowski <29407878+mwenzkowski@users.noreply.github.com> | 2018-11-04 20:40:14 +0100 |
|---|---|---|
| committer | mwenzkowski <29407878+mwenzkowski@users.noreply.github.com> | 2018-11-04 20:40:14 +0100 |
| commit | 67866dc3785453ad0ac97d14858c9176cbcca966 (patch) | |
| tree | 0067a93b11b4aed8962b38c4848b4c5cc6eddecc /common/log.c | |
| parent | 60df5cc9f80a64a594c81d6ec438e86f6e73cd0c (diff) | |
gaps: Improve error reporting
Always raise an error if the runtime only gaps command is found in the
config file.
Diffstat (limited to 'common/log.c')
0 files changed, 0 insertions, 0 deletions