source: @ 16407

Name	Size	Rev	Age	Author	Last Change
trunk	​	16407	6 years	chaider	#2966: Merged branch changes into trunk.
tags		15600	7 years	swagner	#2640: Created release tag for HeuristicLab 3.3.15
stable	​	16387	6 years	gkronber	#2891: merged r15739 and r16168 from trunk to stable
misc		16300	6 years	bburlacu	#2963: Add README.txt and remove unsupported code from benchmarks.
branches		16406	6 years	chaider	#2966 Changed isEqual method in Interval
addons		16173	6 years	jkarder	#2839: * fixed compilation errors in HiveEngine * minor changes

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 Property svn:global-ignores set to obj bin .vs ~* *.suo *.user