source: @ 12300

Name	Size	Rev	Age	Author	Last Change
branches		12300	10 years	pfleck	#2027 Copied OSGA Plugin for testing the new termination criteria.
misc		11360	10 years	gkronber	data for demoing the data preprocessing functionality
stable	​	12297	10 years	ascheibe	#2356 merged r12236,r12273 into stable
tags		12011	10 years	ascheibe	#2212 created tag for 3.3.11
trunk	​	12293	10 years	pfleck	#2301 Use decimal instead of double for the …

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