| Markus Armbruster | f01338c | 2019-10-18 09:43:42 +0200 | [diff] [blame] | 1 | redefined-command.json: In command 'foo': |
| 2 | redefined-command.json:3: 'foo' is already defined | ||||
| 3 | redefined-command.json: In command 'foo': | ||||
| 4 | redefined-command.json:2: previous definition | ||||