source: @ 11107

Name	Size	Rev	Age	Author	Last Change
trunk	​	11102	10 years	mkommend	#2082: Forgot to set copyLocal to false for updated references in …
tags		10035	11 years	swagner	#2049: Updated target path of post build command template
stable	​	11107	10 years	gkronber	#2159: merged r10522,r10523,r10953,r10956 from trunk to stable (release)
misc		11054	10 years	svonolfe	updated benchmark instances for ANOR
branches		11101	10 years	mkommend	#1763: Removed branch for interactive tree simplifier.

Property bugtraq:label set to Ticket Property bugtraq:logregex set to (?:ticket: *|#)(\d+) *(?:, *(\d+))* Property bugtraq:url set to /trac/hl/core/ticket/%BUGID% Property bugtraq:warnifnoissue set to true