source: branches/HeuristicLab.Hive_Milestone3/sources/HeuristicLab.ES @ 3899

Name	Size	Rev	Age	Author	Last Change
../
3.2	​	2052	15 years	abeham	Improved ES GUI according to #674

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