diff options
| author | Emilio Jesus Gallego Arias | 2018-12-10 14:56:23 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-10 14:56:23 +0100 |
| commit | 10b07a187522b74bbcc9355d3ff9c4153f300706 (patch) | |
| tree | 62fce42c8fec43f263de60be71ab0a51fdbf9b6a /dev/core.dbg | |
| parent | 3f014b0c883cd71cf751b0ccc297edb38e46ae47 (diff) | |
| parent | fb81b677b546e2e596f411195684ba47ebe67d91 (diff) | |
Merge PR #9145: Do so that an error message follows the "Error:" header on the same line
Diffstat (limited to 'dev/core.dbg')
0 files changed, 0 insertions, 0 deletions