diff options
| author | Tim Jenssen <tim.jenssen@digia.com> | 2013-10-21 20:25:27 +0200 |
|---|---|---|
| committer | Tim Jenssen <tim.jenssen@digia.com> | 2013-10-23 14:29:09 +0200 |
| commit | 53b999af27bf2272445b882c055aa6cf8335c74a (patch) | |
| tree | 768bd596f7f05326a4f8cef4647eb300a3aa0486 /tools | |
| parent | 76039e40dad87917735c1fec9d33aec6df0f47cd (diff) | |
fix that restart is only triggered if the user wants it
Change-Id: I7814e94819088a4ee82fea9a120d99be6f63d934
Reviewed-by: Karsten Heimrich <karsten.heimrich@digia.com>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions