source: @ 4140

Name	Size	Rev	Age	Author	Last Change
branches		4140	14 years	kgrading	#828 added various improvements to the plugin cache manager, the …
tags		3866	15 years	mkommend	corrected critical bug in release tag (ticket #972)
trunk	​	4138	14 years	svonolfe	The VRP problem now provides a random problem instance upon creation …

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