source: branches/PluginInfrastructure Refactoring/HeuristicLab.OptimizationFrontend @ 2585

Name	Size	Rev	Age	Author	Last Change
../
3.2	​	2576	15 years	gkronber	Quick-fix for #822.

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