source: @ 13138

Name	Size	Rev	Age	Author	Last Change
branches		13137	8 years	pfleck	#2027 Deleted TerminationCriteria branch. Because ALPS will be …
misc		12989	9 years	swinkler	added data for IJSPM paper
stable	​	13134	8 years	ascheibe	#2495 merged r13078, r13094 and r13109 into stable
tags		12758	9 years	ascheibe	#2317 created tag for HL 3.3.12 (second try)
trunk	​	13138	8 years	jkarder	#2298: made execution time more appealing

Property bugtraq:label set to Ticket Property bugtraq:logregex set to (?:ticket: *|#)(\d+) *(?:, *(\d+))* Property bugtraq:url set to https://dev.heuristiclab.com/trac.fcgi/ticket/%BUGID% Property bugtraq:warnifnoissue set to true