tree 5b09b66b50acf671f9d7c33e26d648ac15706c18
parent 3567e333158f018640dfbe0b58ce6725b369f6ce
author Helge <stallkamp@ids-mannheim.de> 1742829024 +0100
committer Helge <stallkamp@ids-mannheim.de> 1742997315 +0100

Tour stops if there are no results (closes #189).

Change-Id: I2ed9cab9ac47b7494feddd167c15926bd541e5cc