Matthias Beyer 85d1c632d3 Print "imag-<tool>" rather than only "<tool>" ... The error output should note "imag-<tool> exited with ..." rather than only "<tool> exited with ..."		2018-02-06 19:28:08 +01:00
..
core	Print "imag-<tool>" rather than only "<tool>"	2018-02-06 19:28:08 +01:00
domain	Merge pull request #1231 from matthiasbeyer/update-kairos	2018-02-05 17:30:55 +01:00